YES 6.7330000000000005 H-Termination proof of /home/matraf/haskell/eval_FullyBlown_Fast/empty.hs
H-Termination of the given Haskell-Program with start terms could successfully be proven:



↳ HASKELL
  ↳ CR

mainModule Main
  (((<=) :: Ord a => [a]  ->  [a]  ->  Bool) :: Ord a => [a]  ->  [a]  ->  Bool)

module Main where
  import qualified Prelude


Case Reductions:
The following Case expression
case compare x y of
 EQ → o
 LT → LT
 GT → GT

is transformed to
primCompAux0 o EQ = o
primCompAux0 o LT = LT
primCompAux0 o GT = GT



↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR

mainModule Main
  (((<=) :: Ord a => [a]  ->  [a]  ->  Bool) :: Ord a => [a]  ->  [a]  ->  Bool)

module Main where
  import qualified Prelude


If Reductions:
The following If expression
if primGEqNatS x y then Succ (primDivNatS (primMinusNatS x y) (Succ y)) else Zero

is transformed to
primDivNatS0 x y True = Succ (primDivNatS (primMinusNatS x y) (Succ y))
primDivNatS0 x y False = Zero

The following If expression
if primGEqNatS x y then primModNatS (primMinusNatS x y) (Succ y) else Succ x

is transformed to
primModNatS0 x y True = primModNatS (primMinusNatS x y) (Succ y)
primModNatS0 x y False = Succ x



↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR

mainModule Main
  (((<=) :: Ord a => [a]  ->  [a]  ->  Bool) :: Ord a => [a]  ->  [a]  ->  Bool)

module Main where
  import qualified Prelude


Replaced joker patterns by fresh variables and removed binding patterns.

↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR
            ↳ HASKELL
              ↳ COR

mainModule Main
  (((<=) :: Ord a => [a]  ->  [a]  ->  Bool) :: Ord a => [a]  ->  [a]  ->  Bool)

module Main where
  import qualified Prelude


Cond Reductions:
The following Function with conditions
compare x y
 | x == y
 = EQ
 | x <= y
 = LT
 | otherwise
 = GT

is transformed to
compare x y = compare3 x y

compare2 x y True = EQ
compare2 x y False = compare1 x y (x <= y)

compare1 x y True = LT
compare1 x y False = compare0 x y otherwise

compare0 x y True = GT

compare3 x y = compare2 x y (x == y)

The following Function with conditions
gcd' x 0 = x
gcd' x y = gcd' y (x `rem` y)

is transformed to
gcd' x zx = gcd'2 x zx
gcd' x y = gcd'0 x y

gcd'0 x y = gcd' y (x `rem` y)

gcd'1 True x zx = x
gcd'1 zy zz vuu = gcd'0 zz vuu

gcd'2 x zx = gcd'1 (zx == 0) x zx
gcd'2 vuv vuw = gcd'0 vuv vuw

The following Function with conditions
gcd 0 0 = error []
gcd x y = 
gcd' (abs x) (abs y)
where 
gcd' x 0 = x
gcd' x y = gcd' y (x `rem` y)

is transformed to
gcd vux vuy = gcd3 vux vuy
gcd x y = gcd0 x y

gcd0 x y = 
gcd' (abs x) (abs y)
where 
gcd' x zx = gcd'2 x zx
gcd' x y = gcd'0 x y
gcd'0 x y = gcd' y (x `rem` y)
gcd'1 True x zx = x
gcd'1 zy zz vuu = gcd'0 zz vuu
gcd'2 x zx = gcd'1 (zx == 0) x zx
gcd'2 vuv vuw = gcd'0 vuv vuw

gcd1 True vux vuy = error []
gcd1 vuz vvu vvv = gcd0 vvu vvv

gcd2 True vux vuy = gcd1 (vuy == 0) vux vuy
gcd2 vvw vvx vvy = gcd0 vvx vvy

gcd3 vux vuy = gcd2 (vux == 0) vux vuy
gcd3 vvz vwu = gcd0 vvz vwu

The following Function with conditions
absReal x
 | x >= 0
 = x
 | otherwise
 = `negate` x

is transformed to
absReal x = absReal2 x

absReal1 x True = x
absReal1 x False = absReal0 x otherwise

absReal0 x True = `negate` x

absReal2 x = absReal1 x (x >= 0)

The following Function with conditions
undefined 
 | False
 = undefined

is transformed to
undefined  = undefined1

undefined0 True = undefined

undefined1  = undefined0 False

The following Function with conditions
reduce x y
 | y == 0
 = error []
 | otherwise
 = x `quot` d :% (y `quot` d)
where 
d  = gcd x y

is transformed to
reduce x y = reduce2 x y

reduce2 x y = 
reduce1 x y (y == 0)
where 
d  = gcd x y
reduce0 x y True = x `quot` d :% (y `quot` d)
reduce1 x y True = error []
reduce1 x y False = reduce0 x y otherwise



↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR
            ↳ HASKELL
              ↳ COR
                ↳ HASKELL
                  ↳ LetRed

mainModule Main
  (((<=) :: Ord a => [a]  ->  [a]  ->  Bool) :: Ord a => [a]  ->  [a]  ->  Bool)

module Main where
  import qualified Prelude


Let/Where Reductions:
The bindings of the following Let/Where expression
reduce1 x y (y == 0)
where 
d  = gcd x y
reduce0 x y True = x `quot` d :% (y `quot` d)
reduce1 x y True = error []
reduce1 x y False = reduce0 x y otherwise

are unpacked to the following functions on top level
reduce2D vwv vww = gcd vwv vww

reduce2Reduce1 vwv vww x y True = error []
reduce2Reduce1 vwv vww x y False = reduce2Reduce0 vwv vww x y otherwise

reduce2Reduce0 vwv vww x y True = x `quot` reduce2D vwv vww :% (y `quot` reduce2D vwv vww)

The bindings of the following Let/Where expression
gcd' (abs x) (abs y)
where 
gcd' x zx = gcd'2 x zx
gcd' x y = gcd'0 x y
gcd'0 x y = gcd' y (x `rem` y)
gcd'1 True x zx = x
gcd'1 zy zz vuu = gcd'0 zz vuu
gcd'2 x zx = gcd'1 (zx == 0) x zx
gcd'2 vuv vuw = gcd'0 vuv vuw

are unpacked to the following functions on top level
gcd0Gcd'1 True x zx = x
gcd0Gcd'1 zy zz vuu = gcd0Gcd'0 zz vuu

gcd0Gcd'2 x zx = gcd0Gcd'1 (zx == 0) x zx
gcd0Gcd'2 vuv vuw = gcd0Gcd'0 vuv vuw

gcd0Gcd'0 x y = gcd0Gcd' y (x `rem` y)

gcd0Gcd' x zx = gcd0Gcd'2 x zx
gcd0Gcd' x y = gcd0Gcd'0 x y



↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR
            ↳ HASKELL
              ↳ COR
                ↳ HASKELL
                  ↳ LetRed
                    ↳ HASKELL
                      ↳ NumRed

mainModule Main
  (((<=) :: Ord a => [a]  ->  [a]  ->  Bool) :: Ord a => [a]  ->  [a]  ->  Bool)

module Main where
  import qualified Prelude


Num Reduction: All numbers are transformed to thier corresponding representation with Pos, Neg, Succ and Zero.

↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR
            ↳ HASKELL
              ↳ COR
                ↳ HASKELL
                  ↳ LetRed
                    ↳ HASKELL
                      ↳ NumRed
                        ↳ HASKELL
                          ↳ Narrow

mainModule Main
  ((<=) :: Ord a => [a]  ->  [a]  ->  Bool)

module Main where
  import qualified Prelude


Haskell To QDPs


↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR
            ↳ HASKELL
              ↳ COR
                ↳ HASKELL
                  ↳ LetRed
                    ↳ HASKELL
                      ↳ NumRed
                        ↳ HASKELL
                          ↳ Narrow
                            ↳ AND
                              ↳ QDP
                                ↳ QDPSizeChangeProof
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primCmpNat(Succ(vwx3000), Succ(vwx4000)) → new_primCmpNat(vwx3000, vwx4000)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs: 



↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR
            ↳ HASKELL
              ↳ COR
                ↳ HASKELL
                  ↳ LetRed
                    ↳ HASKELL
                      ↳ NumRed
                        ↳ HASKELL
                          ↳ Narrow
                            ↳ AND
                              ↳ QDP
                              ↳ QDP
                                ↳ QDPSizeChangeProof
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primPlusNat(Succ(vwx32200), Succ(vwx401000)) → new_primPlusNat(vwx32200, vwx401000)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs: 



↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR
            ↳ HASKELL
              ↳ COR
                ↳ HASKELL
                  ↳ LetRed
                    ↳ HASKELL
                      ↳ NumRed
                        ↳ HASKELL
                          ↳ Narrow
                            ↳ AND
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                                ↳ QDPSizeChangeProof
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primMulNat(Succ(vwx30100), Succ(vwx40100)) → new_primMulNat(vwx30100, Succ(vwx40100))

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs: 



↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR
            ↳ HASKELL
              ↳ COR
                ↳ HASKELL
                  ↳ LetRed
                    ↳ HASKELL
                      ↳ NumRed
                        ↳ HASKELL
                          ↳ Narrow
                            ↳ AND
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                                ↳ QDPSizeChangeProof
                              ↳ QDP
                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primEqNat(Succ(vwx30000), Succ(vwx40000)) → new_primEqNat(vwx30000, vwx40000)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs: 



↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR
            ↳ HASKELL
              ↳ COR
                ↳ HASKELL
                  ↳ LetRed
                    ↳ HASKELL
                      ↳ NumRed
                        ↳ HASKELL
                          ↳ Narrow
                            ↳ AND
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                                ↳ QDPSizeChangeProof
                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_esEs1(@2(vwx3000, vwx3001), @2(vwx4000, vwx4001), gc, app(ty_Maybe, hd)) → new_esEs3(vwx3001, vwx4001, hd)
new_esEs2(@3(vwx3000, vwx3001, vwx3002), @3(vwx4000, vwx4001, vwx4002), app(app(app(ty_@3, bad), bae), baf), hg, hh) → new_esEs2(vwx3000, vwx4000, bad, bae, baf)
new_esEs1(@2(vwx3000, vwx3001), @2(vwx4000, vwx4001), app(app(ty_Either, eh), fa), fb) → new_esEs(vwx3000, vwx4000, eh, fa)
new_esEs2(@3(vwx3000, vwx3001, vwx3002), @3(vwx4000, vwx4001, vwx4002), bah, hg, app(ty_[], bcd)) → new_esEs0(vwx3002, vwx4002, bcd)
new_esEs0(:(vwx3000, vwx3001), :(vwx4000, vwx4001), app(ty_Maybe, ef)) → new_esEs3(vwx3000, vwx4000, ef)
new_esEs2(@3(vwx3000, vwx3001, vwx3002), @3(vwx4000, vwx4001, vwx4002), app(app(ty_Either, he), hf), hg, hh) → new_esEs(vwx3000, vwx4000, he, hf)
new_esEs3(Just(vwx3000), Just(vwx4000), app(app(ty_@2, bdf), bdg)) → new_esEs1(vwx3000, vwx4000, bdf, bdg)
new_esEs2(@3(vwx3000, vwx3001, vwx3002), @3(vwx4000, vwx4001, vwx4002), bah, app(ty_Maybe, bca), hh) → new_esEs3(vwx3001, vwx4001, bca)
new_esEs(Left(vwx3000), Left(vwx4000), app(app(ty_@2, be), bf), bc) → new_esEs1(vwx3000, vwx4000, be, bf)
new_esEs2(@3(vwx3000, vwx3001, vwx3002), @3(vwx4000, vwx4001, vwx4002), bah, hg, app(app(ty_@2, bce), bcf)) → new_esEs1(vwx3002, vwx4002, bce, bcf)
new_esEs(Right(vwx3000), Right(vwx4000), cc, app(ty_Maybe, de)) → new_esEs3(vwx3000, vwx4000, de)
new_esEs1(@2(vwx3000, vwx3001), @2(vwx4000, vwx4001), app(ty_[], fc), fb) → new_esEs0(vwx3000, vwx4000, fc)
new_esEs0(:(vwx3000, vwx3001), :(vwx4000, vwx4001), app(app(app(ty_@3, ec), ed), ee)) → new_esEs2(vwx3000, vwx4000, ec, ed, ee)
new_esEs1(@2(vwx3000, vwx3001), @2(vwx4000, vwx4001), gc, app(app(app(ty_@3, ha), hb), hc)) → new_esEs2(vwx3001, vwx4001, ha, hb, hc)
new_esEs2(@3(vwx3000, vwx3001, vwx3002), @3(vwx4000, vwx4001, vwx4002), bah, hg, app(ty_Maybe, bdb)) → new_esEs3(vwx3002, vwx4002, bdb)
new_esEs1(@2(vwx3000, vwx3001), @2(vwx4000, vwx4001), app(ty_Maybe, gb), fb) → new_esEs3(vwx3000, vwx4000, gb)
new_esEs3(Just(vwx3000), Just(vwx4000), app(ty_[], bde)) → new_esEs0(vwx3000, vwx4000, bde)
new_esEs1(@2(vwx3000, vwx3001), @2(vwx4000, vwx4001), gc, app(ty_[], gf)) → new_esEs0(vwx3001, vwx4001, gf)
new_esEs2(@3(vwx3000, vwx3001, vwx3002), @3(vwx4000, vwx4001, vwx4002), bah, app(app(ty_Either, bba), bbb), hh) → new_esEs(vwx3001, vwx4001, bba, bbb)
new_esEs2(@3(vwx3000, vwx3001, vwx3002), @3(vwx4000, vwx4001, vwx4002), app(app(ty_@2, bab), bac), hg, hh) → new_esEs1(vwx3000, vwx4000, bab, bac)
new_esEs1(@2(vwx3000, vwx3001), @2(vwx4000, vwx4001), gc, app(app(ty_@2, gg), gh)) → new_esEs1(vwx3001, vwx4001, gg, gh)
new_esEs2(@3(vwx3000, vwx3001, vwx3002), @3(vwx4000, vwx4001, vwx4002), bah, hg, app(app(ty_Either, bcb), bcc)) → new_esEs(vwx3002, vwx4002, bcb, bcc)
new_esEs(Right(vwx3000), Right(vwx4000), cc, app(app(ty_Either, cd), ce)) → new_esEs(vwx3000, vwx4000, cd, ce)
new_esEs2(@3(vwx3000, vwx3001, vwx3002), @3(vwx4000, vwx4001, vwx4002), bah, app(app(ty_@2, bbd), bbe), hh) → new_esEs1(vwx3001, vwx4001, bbd, bbe)
new_esEs0(:(vwx3000, vwx3001), :(vwx4000, vwx4001), app(app(ty_@2, ea), eb)) → new_esEs1(vwx3000, vwx4000, ea, eb)
new_esEs2(@3(vwx3000, vwx3001, vwx3002), @3(vwx4000, vwx4001, vwx4002), bah, app(app(app(ty_@3, bbf), bbg), bbh), hh) → new_esEs2(vwx3001, vwx4001, bbf, bbg, bbh)
new_esEs1(@2(vwx3000, vwx3001), @2(vwx4000, vwx4001), app(app(ty_@2, fd), ff), fb) → new_esEs1(vwx3000, vwx4000, fd, ff)
new_esEs3(Just(vwx3000), Just(vwx4000), app(app(app(ty_@3, bdh), bea), beb)) → new_esEs2(vwx3000, vwx4000, bdh, bea, beb)
new_esEs3(Just(vwx3000), Just(vwx4000), app(ty_Maybe, bec)) → new_esEs3(vwx3000, vwx4000, bec)
new_esEs2(@3(vwx3000, vwx3001, vwx3002), @3(vwx4000, vwx4001, vwx4002), app(ty_Maybe, bag), hg, hh) → new_esEs3(vwx3000, vwx4000, bag)
new_esEs(Left(vwx3000), Left(vwx4000), app(ty_Maybe, cb), bc) → new_esEs3(vwx3000, vwx4000, cb)
new_esEs3(Just(vwx3000), Just(vwx4000), app(app(ty_Either, bdc), bdd)) → new_esEs(vwx3000, vwx4000, bdc, bdd)
new_esEs(Right(vwx3000), Right(vwx4000), cc, app(app(ty_@2, cg), da)) → new_esEs1(vwx3000, vwx4000, cg, da)
new_esEs0(:(vwx3000, vwx3001), :(vwx4000, vwx4001), app(app(ty_Either, df), dg)) → new_esEs(vwx3000, vwx4000, df, dg)
new_esEs(Left(vwx3000), Left(vwx4000), app(ty_[], bd), bc) → new_esEs0(vwx3000, vwx4000, bd)
new_esEs(Left(vwx3000), Left(vwx4000), app(app(app(ty_@3, bg), bh), ca), bc) → new_esEs2(vwx3000, vwx4000, bg, bh, ca)
new_esEs(Right(vwx3000), Right(vwx4000), cc, app(app(app(ty_@3, db), dc), dd)) → new_esEs2(vwx3000, vwx4000, db, dc, dd)
new_esEs0(:(vwx3000, vwx3001), :(vwx4000, vwx4001), app(ty_[], dh)) → new_esEs0(vwx3000, vwx4000, dh)
new_esEs2(@3(vwx3000, vwx3001, vwx3002), @3(vwx4000, vwx4001, vwx4002), app(ty_[], baa), hg, hh) → new_esEs0(vwx3000, vwx4000, baa)
new_esEs2(@3(vwx3000, vwx3001, vwx3002), @3(vwx4000, vwx4001, vwx4002), bah, app(ty_[], bbc), hh) → new_esEs0(vwx3001, vwx4001, bbc)
new_esEs(Right(vwx3000), Right(vwx4000), cc, app(ty_[], cf)) → new_esEs0(vwx3000, vwx4000, cf)
new_esEs1(@2(vwx3000, vwx3001), @2(vwx4000, vwx4001), gc, app(app(ty_Either, gd), ge)) → new_esEs(vwx3001, vwx4001, gd, ge)
new_esEs0(:(vwx3000, vwx3001), :(vwx4000, vwx4001), eg) → new_esEs0(vwx3001, vwx4001, eg)
new_esEs(Left(vwx3000), Left(vwx4000), app(app(ty_Either, ba), bb), bc) → new_esEs(vwx3000, vwx4000, ba, bb)
new_esEs2(@3(vwx3000, vwx3001, vwx3002), @3(vwx4000, vwx4001, vwx4002), bah, hg, app(app(app(ty_@3, bcg), bch), bda)) → new_esEs2(vwx3002, vwx4002, bcg, bch, bda)
new_esEs1(@2(vwx3000, vwx3001), @2(vwx4000, vwx4001), app(app(app(ty_@3, fg), fh), ga), fb) → new_esEs2(vwx3000, vwx4000, fg, fh, ga)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs: 



↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR
            ↳ HASKELL
              ↳ COR
                ↳ HASKELL
                  ↳ LetRed
                    ↳ HASKELL
                      ↳ NumRed
                        ↳ HASKELL
                          ↳ Narrow
                            ↳ AND
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                                ↳ QDPSizeChangeProof

Q DP problem:
The TRS P consists of the following rules:

new_compare23(vwx219, vwx220, False, app(app(app(ty_@3, ceb), cec), ced)) → new_ltEs(vwx219, vwx220, ceb, cec, ced)
new_compare20(@2(vwx1940, vwx1941), @2(vwx1950, vwx1951), False, app(app(ty_@2, bee), app(ty_Maybe, bfe)), cab) → new_ltEs2(vwx1941, vwx1951, bfe)
new_ltEs1(@2(vwx1940, vwx1941), @2(vwx1950, vwx1951), bee, app(app(ty_@2, bfc), bfd)) → new_ltEs1(vwx1941, vwx1951, bfc, bfd)
new_compare20(Right(vwx1940), Right(vwx1950), False, app(app(ty_Either, bdc), app(app(ty_Either, bdg), bdh)), cab) → new_ltEs0(vwx1940, vwx1950, bdg, bdh)
new_ltEs1(@2(vwx1940, vwx1941), @2(vwx1950, vwx1951), app(app(ty_Either, bgc), bgd), bgb) → new_lt0(vwx1940, vwx1950, bgc, bgd)
new_compare21(vwx201, vwx202, False, cad, app(app(app(ty_@3, cae), caf), cag)) → new_ltEs(vwx201, vwx202, cae, caf, cag)
new_compare20(Right(vwx1940), Right(vwx1950), False, app(app(ty_Either, bdc), app(app(app(ty_@3, bdd), bde), bdf)), cab) → new_ltEs(vwx1940, vwx1950, bdd, bde, bdf)
new_ltEs(@3(vwx1940, vwx1941, vwx1942), @3(vwx1950, vwx1951, vwx1952), gc, gd, app(ty_Maybe, hd)) → new_ltEs2(vwx1942, vwx1952, hd)
new_compare20(Just(vwx1940), Just(vwx1950), False, app(ty_Maybe, app(ty_[], caa)), cab) → new_ltEs3(vwx1940, vwx1950, caa)
new_primCompAux(Right(vwx300), Right(vwx400), vwx169, app(app(ty_Either, be), bf)) → new_compare21(vwx300, vwx400, new_esEs8(vwx300, vwx400, bf), be, bf)
new_compare20(@3(vwx1940, vwx1941, vwx1942), @3(vwx1950, vwx1951, vwx1952), False, app(app(app(ty_@3, app(app(ty_Either, bbc), bbd)), gd), baa), cab) → new_lt0(vwx1940, vwx1950, bbc, bbd)
new_compare20(Just(vwx1940), Just(vwx1950), False, app(ty_Maybe, app(app(ty_Either, bhd), bhe)), cab) → new_ltEs0(vwx1940, vwx1950, bhd, bhe)
new_ltEs1(@2(vwx1940, vwx1941), @2(vwx1950, vwx1951), bee, app(ty_Maybe, bfe)) → new_ltEs2(vwx1941, vwx1951, bfe)
new_ltEs2(Just(vwx1940), Just(vwx1950), app(ty_[], caa)) → new_ltEs3(vwx1940, vwx1950, caa)
new_compare22(vwx243, vwx244, vwx245, vwx246, False, cbf, app(app(ty_Either, ccb), ccc)) → new_ltEs0(vwx244, vwx246, ccb, ccc)
new_compare2(vwx230, vwx231, vwx232, vwx233, vwx234, vwx235, False, app(app(ty_@2, fg), fh), cd, eb) → new_compare4(vwx230, vwx233, fg, fh)
new_compare5(Just(vwx300), Just(vwx400), ca) → new_compare23(vwx300, vwx400, new_esEs11(vwx300, vwx400, ca), ca)
new_ltEs1(@2(vwx1940, vwx1941), @2(vwx1950, vwx1951), app(ty_[], bgh), bgb) → new_lt3(vwx1940, vwx1950, bgh)
new_compare20(@2(vwx1940, vwx1941), @2(vwx1950, vwx1951), False, app(app(ty_@2, app(app(ty_Either, bgc), bgd)), bgb), cab) → new_lt0(vwx1940, vwx1950, bgc, bgd)
new_primCompAux(@3(vwx300, vwx301, vwx302), @3(vwx400, vwx401, vwx402), vwx169, app(app(app(ty_@3, bb), bc), bd)) → new_compare2(vwx300, vwx301, vwx302, vwx400, vwx401, vwx402, new_asAs(new_esEs4(vwx300, vwx400, bb), new_asAs(new_esEs5(vwx301, vwx401, bc), new_esEs6(vwx302, vwx402, bd))), bb, bc, bd)
new_compare22(vwx243, vwx244, vwx245, vwx246, False, app(ty_Maybe, cdh), cdc) → new_lt2(vwx243, vwx245, cdh)
new_ltEs(@3(vwx1940, vwx1941, vwx1942), @3(vwx1950, vwx1951, vwx1952), gc, gd, app(app(ty_@2, hb), hc)) → new_ltEs1(vwx1942, vwx1952, hb, hc)
new_compare2(vwx230, vwx231, vwx232, vwx233, vwx234, vwx235, False, app(ty_[], gb), cd, eb) → new_compare(vwx230, vwx233, gb)
new_compare23(vwx219, vwx220, False, app(ty_Maybe, cfa)) → new_ltEs2(vwx219, vwx220, cfa)
new_ltEs1(@2(vwx1940, vwx1941), @2(vwx1950, vwx1951), bee, app(ty_[], bff)) → new_ltEs3(vwx1941, vwx1951, bff)
new_primCompAux(@2(vwx300, vwx301), @2(vwx400, vwx401), vwx169, app(app(ty_@2, bg), bh)) → new_compare22(vwx300, vwx301, vwx400, vwx401, new_asAs(new_esEs9(vwx300, vwx400, bg), new_esEs10(vwx301, vwx401, bh)), bg, bh)
new_compare22(vwx243, vwx244, vwx245, vwx246, False, app(app(app(ty_@3, cch), cda), cdb), cdc) → new_lt(vwx243, vwx245, cch, cda, cdb)
new_ltEs3(:(vwx30, vwx31), :(vwx40, vwx41), ba) → new_compare(vwx31, vwx41, ba)
new_primCompAux(vwx30, vwx40, vwx169, app(ty_[], cb)) → new_compare(vwx30, vwx40, cb)
new_compare20(Left(vwx1940), Left(vwx1950), False, app(app(ty_Either, app(ty_[], bdb)), bcd), cab) → new_ltEs3(vwx1940, vwx1950, bdb)
new_compare20(Right(vwx1940), Right(vwx1950), False, app(app(ty_Either, bdc), app(app(ty_@2, bea), beb)), cab) → new_ltEs1(vwx1940, vwx1950, bea, beb)
new_compare20(Just(vwx1940), Just(vwx1950), False, app(ty_Maybe, app(app(app(ty_@3, bha), bhb), bhc)), cab) → new_ltEs(vwx1940, vwx1950, bha, bhb, bhc)
new_compare21(vwx201, vwx202, False, cad, app(ty_Maybe, cbd)) → new_ltEs2(vwx201, vwx202, cbd)
new_compare2(vwx230, vwx231, vwx232, vwx233, vwx234, vwx235, False, app(ty_Maybe, ga), cd, eb) → new_compare5(vwx230, vwx233, ga)
new_compare22(vwx243, vwx244, vwx245, vwx246, False, cbf, app(app(app(ty_@3, cbg), cbh), cca)) → new_ltEs(vwx244, vwx246, cbg, cbh, cca)
new_compare23(vwx219, vwx220, False, app(app(ty_@2, ceg), ceh)) → new_ltEs1(vwx219, vwx220, ceg, ceh)
new_ltEs0(Left(vwx1940), Left(vwx1950), app(app(app(ty_@3, bca), bcb), bcc), bcd) → new_ltEs(vwx1940, vwx1950, bca, bcb, bcc)
new_compare21(vwx201, vwx202, False, cad, app(app(ty_Either, cah), cba)) → new_ltEs0(vwx201, vwx202, cah, cba)
new_compare20(@2(vwx1940, vwx1941), @2(vwx1950, vwx1951), False, app(app(ty_@2, app(app(ty_@2, bge), bgf)), bgb), cab) → new_lt1(vwx1940, vwx1950, bge, bgf)
new_compare22(vwx243, vwx244, vwx245, vwx246, False, app(app(ty_Either, cdd), cde), cdc) → new_lt0(vwx243, vwx245, cdd, cde)
new_compare20(@3(vwx1940, vwx1941, vwx1942), @3(vwx1950, vwx1951, vwx1952), False, app(app(app(ty_@3, gc), app(ty_Maybe, baf)), baa), cab) → new_lt2(vwx1941, vwx1951, baf)
new_compare20(@2(vwx1940, vwx1941), @2(vwx1950, vwx1951), False, app(app(ty_@2, bee), app(app(app(ty_@3, bef), beg), beh)), cab) → new_ltEs(vwx1941, vwx1951, bef, beg, beh)
new_compare20(@3(vwx1940, vwx1941, vwx1942), @3(vwx1950, vwx1951, vwx1952), False, app(app(app(ty_@3, app(ty_[], bbh)), gd), baa), cab) → new_lt3(vwx1940, vwx1950, bbh)
new_compare23(vwx219, vwx220, False, app(ty_[], cfb)) → new_ltEs3(vwx219, vwx220, cfb)
new_ltEs1(@2(vwx1940, vwx1941), @2(vwx1950, vwx1951), bee, app(app(app(ty_@3, bef), beg), beh)) → new_ltEs(vwx1941, vwx1951, bef, beg, beh)
new_ltEs(@3(vwx1940, vwx1941, vwx1942), @3(vwx1950, vwx1951, vwx1952), gc, app(app(ty_@2, bad), bae), baa) → new_lt1(vwx1941, vwx1951, bad, bae)
new_ltEs0(Right(vwx1940), Right(vwx1950), bdc, app(app(ty_Either, bdg), bdh)) → new_ltEs0(vwx1940, vwx1950, bdg, bdh)
new_compare20(Just(vwx1940), Just(vwx1950), False, app(ty_Maybe, app(app(ty_@2, bhf), bhg)), cab) → new_ltEs1(vwx1940, vwx1950, bhf, bhg)
new_ltEs0(Right(vwx1940), Right(vwx1950), bdc, app(ty_Maybe, bec)) → new_ltEs2(vwx1940, vwx1950, bec)
new_ltEs0(Right(vwx1940), Right(vwx1950), bdc, app(ty_[], bed)) → new_ltEs3(vwx1940, vwx1950, bed)
new_ltEs(@3(vwx1940, vwx1941, vwx1942), @3(vwx1950, vwx1951, vwx1952), app(app(ty_@2, bbe), bbf), gd, baa) → new_lt1(vwx1940, vwx1950, bbe, bbf)
new_ltEs(@3(vwx1940, vwx1941, vwx1942), @3(vwx1950, vwx1951, vwx1952), gc, app(app(app(ty_@3, hf), hg), hh), baa) → new_lt(vwx1941, vwx1951, hf, hg, hh)
new_compare23(vwx219, vwx220, False, app(app(ty_Either, cee), cef)) → new_ltEs0(vwx219, vwx220, cee, cef)
new_ltEs(@3(vwx1940, vwx1941, vwx1942), @3(vwx1950, vwx1951, vwx1952), gc, gd, app(ty_[], he)) → new_ltEs3(vwx1942, vwx1952, he)
new_ltEs(@3(vwx1940, vwx1941, vwx1942), @3(vwx1950, vwx1951, vwx1952), gc, app(ty_[], bag), baa) → new_lt3(vwx1941, vwx1951, bag)
new_compare20(@3(vwx1940, vwx1941, vwx1942), @3(vwx1950, vwx1951, vwx1952), False, app(app(app(ty_@3, gc), app(ty_[], bag)), baa), cab) → new_lt3(vwx1941, vwx1951, bag)
new_compare4(@2(vwx300, vwx301), @2(vwx400, vwx401), bg, bh) → new_compare22(vwx300, vwx301, vwx400, vwx401, new_asAs(new_esEs9(vwx300, vwx400, bg), new_esEs10(vwx301, vwx401, bh)), bg, bh)
new_ltEs0(Left(vwx1940), Left(vwx1950), app(ty_Maybe, bda), bcd) → new_ltEs2(vwx1940, vwx1950, bda)
new_compare2(vwx230, vwx231, vwx232, vwx233, vwx234, vwx235, False, cc, app(app(ty_@2, ee), ef), eb) → new_lt1(vwx231, vwx234, ee, ef)
new_ltEs1(@2(vwx1940, vwx1941), @2(vwx1950, vwx1951), bee, app(app(ty_Either, bfa), bfb)) → new_ltEs0(vwx1941, vwx1951, bfa, bfb)
new_ltEs(@3(vwx1940, vwx1941, vwx1942), @3(vwx1950, vwx1951, vwx1952), app(ty_[], bbh), gd, baa) → new_lt3(vwx1940, vwx1950, bbh)
new_compare2(vwx230, vwx231, vwx232, vwx233, vwx234, vwx235, False, app(app(ty_Either, fd), ff), cd, eb) → new_compare3(vwx230, vwx233, fd, ff)
new_compare22(vwx243, vwx244, vwx245, vwx246, False, cbf, app(ty_Maybe, ccf)) → new_ltEs2(vwx244, vwx246, ccf)
new_lt1(vwx230, vwx233, fg, fh) → new_compare4(vwx230, vwx233, fg, fh)
new_compare22(vwx243, vwx244, vwx245, vwx246, False, cbf, app(app(ty_@2, ccd), cce)) → new_ltEs1(vwx244, vwx246, ccd, cce)
new_compare2(vwx230, vwx231, vwx232, vwx233, vwx234, vwx235, False, app(app(app(ty_@3, fa), fb), fc), cd, eb) → new_compare1(vwx230, vwx233, fa, fb, fc)
new_ltEs(@3(vwx1940, vwx1941, vwx1942), @3(vwx1950, vwx1951, vwx1952), gc, gd, app(app(app(ty_@3, ge), gf), gg)) → new_ltEs(vwx1942, vwx1952, ge, gf, gg)
new_compare20(@3(vwx1940, vwx1941, vwx1942), @3(vwx1950, vwx1951, vwx1952), False, app(app(app(ty_@3, gc), gd), app(app(app(ty_@3, ge), gf), gg)), cab) → new_ltEs(vwx1942, vwx1952, ge, gf, gg)
new_compare20(@2(vwx1940, vwx1941), @2(vwx1950, vwx1951), False, app(app(ty_@2, app(app(app(ty_@3, bfg), bfh), bga)), bgb), cab) → new_lt(vwx1940, vwx1950, bfg, bfh, bga)
new_ltEs(@3(vwx1940, vwx1941, vwx1942), @3(vwx1950, vwx1951, vwx1952), gc, app(ty_Maybe, baf), baa) → new_lt2(vwx1941, vwx1951, baf)
new_compare20(@3(vwx1940, vwx1941, vwx1942), @3(vwx1950, vwx1951, vwx1952), False, app(app(app(ty_@3, app(ty_Maybe, bbg)), gd), baa), cab) → new_lt2(vwx1940, vwx1950, bbg)
new_ltEs(@3(vwx1940, vwx1941, vwx1942), @3(vwx1950, vwx1951, vwx1952), gc, app(app(ty_Either, bab), bac), baa) → new_lt0(vwx1941, vwx1951, bab, bac)
new_compare20(@2(vwx1940, vwx1941), @2(vwx1950, vwx1951), False, app(app(ty_@2, bee), app(app(ty_@2, bfc), bfd)), cab) → new_ltEs1(vwx1941, vwx1951, bfc, bfd)
new_compare20(Left(vwx1940), Left(vwx1950), False, app(app(ty_Either, app(app(ty_@2, bcg), bch)), bcd), cab) → new_ltEs1(vwx1940, vwx1950, bcg, bch)
new_compare20(@3(vwx1940, vwx1941, vwx1942), @3(vwx1950, vwx1951, vwx1952), False, app(app(app(ty_@3, app(app(app(ty_@3, bah), bba), bbb)), gd), baa), cab) → new_lt(vwx1940, vwx1950, bah, bba, bbb)
new_compare20(@3(vwx1940, vwx1941, vwx1942), @3(vwx1950, vwx1951, vwx1952), False, app(app(app(ty_@3, app(app(ty_@2, bbe), bbf)), gd), baa), cab) → new_lt1(vwx1940, vwx1950, bbe, bbf)
new_ltEs2(Just(vwx1940), Just(vwx1950), app(app(ty_@2, bhf), bhg)) → new_ltEs1(vwx1940, vwx1950, bhf, bhg)
new_ltEs0(Left(vwx1940), Left(vwx1950), app(ty_[], bdb), bcd) → new_ltEs3(vwx1940, vwx1950, bdb)
new_ltEs0(Left(vwx1940), Left(vwx1950), app(app(ty_@2, bcg), bch), bcd) → new_ltEs1(vwx1940, vwx1950, bcg, bch)
new_compare2(vwx230, vwx231, vwx232, vwx233, vwx234, vwx235, False, cc, app(app(ty_Either, ec), ed), eb) → new_lt0(vwx231, vwx234, ec, ed)
new_compare2(vwx230, vwx231, vwx232, vwx233, vwx234, vwx235, False, cc, cd, app(app(ty_@2, dc), dd)) → new_ltEs1(vwx232, vwx235, dc, dd)
new_compare20(Right(vwx1940), Right(vwx1950), False, app(app(ty_Either, bdc), app(ty_[], bed)), cab) → new_ltEs3(vwx1940, vwx1950, bed)
new_compare1(@3(vwx300, vwx301, vwx302), @3(vwx400, vwx401, vwx402), bb, bc, bd) → new_compare2(vwx300, vwx301, vwx302, vwx400, vwx401, vwx402, new_asAs(new_esEs4(vwx300, vwx400, bb), new_asAs(new_esEs5(vwx301, vwx401, bc), new_esEs6(vwx302, vwx402, bd))), bb, bc, bd)
new_compare20(@3(vwx1940, vwx1941, vwx1942), @3(vwx1950, vwx1951, vwx1952), False, app(app(app(ty_@3, gc), gd), app(app(ty_Either, gh), ha)), cab) → new_ltEs0(vwx1942, vwx1952, gh, ha)
new_ltEs2(Just(vwx1940), Just(vwx1950), app(app(ty_Either, bhd), bhe)) → new_ltEs0(vwx1940, vwx1950, bhd, bhe)
new_ltEs0(Right(vwx1940), Right(vwx1950), bdc, app(app(app(ty_@3, bdd), bde), bdf)) → new_ltEs(vwx1940, vwx1950, bdd, bde, bdf)
new_compare20(Right(vwx1940), Right(vwx1950), False, app(app(ty_Either, bdc), app(ty_Maybe, bec)), cab) → new_ltEs2(vwx1940, vwx1950, bec)
new_primCompAux(Just(vwx300), Just(vwx400), vwx169, app(ty_Maybe, ca)) → new_compare23(vwx300, vwx400, new_esEs11(vwx300, vwx400, ca), ca)
new_compare22(vwx243, vwx244, vwx245, vwx246, False, app(ty_[], cea), cdc) → new_lt3(vwx243, vwx245, cea)
new_compare20(Just(vwx1940), Just(vwx1950), False, app(ty_Maybe, app(ty_Maybe, bhh)), cab) → new_ltEs2(vwx1940, vwx1950, bhh)
new_compare20(vwx194, vwx195, False, app(ty_[], cac), cab) → new_ltEs3(vwx194, vwx195, cac)
new_compare20(@2(vwx1940, vwx1941), @2(vwx1950, vwx1951), False, app(app(ty_@2, app(ty_Maybe, bgg)), bgb), cab) → new_lt2(vwx1940, vwx1950, bgg)
new_compare20(Left(vwx1940), Left(vwx1950), False, app(app(ty_Either, app(ty_Maybe, bda)), bcd), cab) → new_ltEs2(vwx1940, vwx1950, bda)
new_ltEs0(Right(vwx1940), Right(vwx1950), bdc, app(app(ty_@2, bea), beb)) → new_ltEs1(vwx1940, vwx1950, bea, beb)
new_compare20(@3(vwx1940, vwx1941, vwx1942), @3(vwx1950, vwx1951, vwx1952), False, app(app(app(ty_@3, gc), gd), app(ty_Maybe, hd)), cab) → new_ltEs2(vwx1942, vwx1952, hd)
new_ltEs0(Left(vwx1940), Left(vwx1950), app(app(ty_Either, bce), bcf), bcd) → new_ltEs0(vwx1940, vwx1950, bce, bcf)
new_compare22(vwx243, vwx244, vwx245, vwx246, False, cbf, app(ty_[], ccg)) → new_ltEs3(vwx244, vwx246, ccg)
new_compare20(@3(vwx1940, vwx1941, vwx1942), @3(vwx1950, vwx1951, vwx1952), False, app(app(app(ty_@3, gc), app(app(ty_Either, bab), bac)), baa), cab) → new_lt0(vwx1941, vwx1951, bab, bac)
new_compare21(vwx201, vwx202, False, cad, app(app(ty_@2, cbb), cbc)) → new_ltEs1(vwx201, vwx202, cbb, cbc)
new_compare2(vwx230, vwx231, vwx232, vwx233, vwx234, vwx235, False, cc, app(app(app(ty_@3, dg), dh), ea), eb) → new_lt(vwx231, vwx234, dg, dh, ea)
new_compare20(@2(vwx1940, vwx1941), @2(vwx1950, vwx1951), False, app(app(ty_@2, bee), app(ty_[], bff)), cab) → new_ltEs3(vwx1941, vwx1951, bff)
new_compare20(@3(vwx1940, vwx1941, vwx1942), @3(vwx1950, vwx1951, vwx1952), False, app(app(app(ty_@3, gc), app(app(ty_@2, bad), bae)), baa), cab) → new_lt1(vwx1941, vwx1951, bad, bae)
new_compare20(@3(vwx1940, vwx1941, vwx1942), @3(vwx1950, vwx1951, vwx1952), False, app(app(app(ty_@3, gc), gd), app(app(ty_@2, hb), hc)), cab) → new_ltEs1(vwx1942, vwx1952, hb, hc)
new_ltEs1(@2(vwx1940, vwx1941), @2(vwx1950, vwx1951), app(app(ty_@2, bge), bgf), bgb) → new_lt1(vwx1940, vwx1950, bge, bgf)
new_compare2(vwx230, vwx231, vwx232, vwx233, vwx234, vwx235, False, cc, app(ty_[], eh), eb) → new_lt3(vwx231, vwx234, eh)
new_lt(vwx230, vwx233, fa, fb, fc) → new_compare1(vwx230, vwx233, fa, fb, fc)
new_ltEs(@3(vwx1940, vwx1941, vwx1942), @3(vwx1950, vwx1951, vwx1952), app(app(app(ty_@3, bah), bba), bbb), gd, baa) → new_lt(vwx1940, vwx1950, bah, bba, bbb)
new_ltEs(@3(vwx1940, vwx1941, vwx1942), @3(vwx1950, vwx1951, vwx1952), gc, gd, app(app(ty_Either, gh), ha)) → new_ltEs0(vwx1942, vwx1952, gh, ha)
new_compare20(@2(vwx1940, vwx1941), @2(vwx1950, vwx1951), False, app(app(ty_@2, app(ty_[], bgh)), bgb), cab) → new_lt3(vwx1940, vwx1950, bgh)
new_compare3(Right(vwx300), Right(vwx400), be, bf) → new_compare21(vwx300, vwx400, new_esEs8(vwx300, vwx400, bf), be, bf)
new_compare2(vwx230, vwx231, vwx232, vwx233, vwx234, vwx235, False, cc, app(ty_Maybe, eg), eb) → new_lt2(vwx231, vwx234, eg)
new_compare2(vwx230, vwx231, vwx232, vwx233, vwx234, vwx235, False, cc, cd, app(ty_Maybe, de)) → new_ltEs2(vwx232, vwx235, de)
new_ltEs2(Just(vwx1940), Just(vwx1950), app(ty_Maybe, bhh)) → new_ltEs2(vwx1940, vwx1950, bhh)
new_compare20(@3(vwx1940, vwx1941, vwx1942), @3(vwx1950, vwx1951, vwx1952), False, app(app(app(ty_@3, gc), gd), app(ty_[], he)), cab) → new_ltEs3(vwx1942, vwx1952, he)
new_compare(:(vwx30, vwx31), :(vwx40, vwx41), ba) → new_compare(vwx31, vwx41, ba)
new_compare2(vwx230, vwx231, vwx232, vwx233, vwx234, vwx235, False, cc, cd, app(app(ty_Either, da), db)) → new_ltEs0(vwx232, vwx235, da, db)
new_ltEs2(Just(vwx1940), Just(vwx1950), app(app(app(ty_@3, bha), bhb), bhc)) → new_ltEs(vwx1940, vwx1950, bha, bhb, bhc)
new_lt3(vwx230, vwx233, gb) → new_compare(vwx230, vwx233, gb)
new_compare3(Left(vwx300), Left(vwx400), be, bf) → new_compare20(vwx300, vwx400, new_esEs7(vwx300, vwx400, be), be, bf)
new_ltEs3(:(vwx30, vwx31), :(vwx40, vwx41), ba) → new_primCompAux(vwx30, vwx40, new_compare0(vwx31, vwx41, ba), ba)
new_compare21(vwx201, vwx202, False, cad, app(ty_[], cbe)) → new_ltEs3(vwx201, vwx202, cbe)
new_compare(:(vwx30, vwx31), :(vwx40, vwx41), ba) → new_primCompAux(vwx30, vwx40, new_compare0(vwx31, vwx41, ba), ba)
new_compare22(vwx243, vwx244, vwx245, vwx246, False, app(app(ty_@2, cdf), cdg), cdc) → new_lt1(vwx243, vwx245, cdf, cdg)
new_compare20(@2(vwx1940, vwx1941), @2(vwx1950, vwx1951), False, app(app(ty_@2, bee), app(app(ty_Either, bfa), bfb)), cab) → new_ltEs0(vwx1941, vwx1951, bfa, bfb)
new_compare2(vwx230, vwx231, vwx232, vwx233, vwx234, vwx235, False, cc, cd, app(ty_[], df)) → new_ltEs3(vwx232, vwx235, df)
new_ltEs(@3(vwx1940, vwx1941, vwx1942), @3(vwx1950, vwx1951, vwx1952), app(app(ty_Either, bbc), bbd), gd, baa) → new_lt0(vwx1940, vwx1950, bbc, bbd)
new_compare20(@3(vwx1940, vwx1941, vwx1942), @3(vwx1950, vwx1951, vwx1952), False, app(app(app(ty_@3, gc), app(app(app(ty_@3, hf), hg), hh)), baa), cab) → new_lt(vwx1941, vwx1951, hf, hg, hh)
new_ltEs1(@2(vwx1940, vwx1941), @2(vwx1950, vwx1951), app(app(app(ty_@3, bfg), bfh), bga), bgb) → new_lt(vwx1940, vwx1950, bfg, bfh, bga)
new_compare20(Left(vwx1940), Left(vwx1950), False, app(app(ty_Either, app(app(app(ty_@3, bca), bcb), bcc)), bcd), cab) → new_ltEs(vwx1940, vwx1950, bca, bcb, bcc)
new_compare20(Left(vwx1940), Left(vwx1950), False, app(app(ty_Either, app(app(ty_Either, bce), bcf)), bcd), cab) → new_ltEs0(vwx1940, vwx1950, bce, bcf)
new_primCompAux(Left(vwx300), Left(vwx400), vwx169, app(app(ty_Either, be), bf)) → new_compare20(vwx300, vwx400, new_esEs7(vwx300, vwx400, be), be, bf)
new_ltEs1(@2(vwx1940, vwx1941), @2(vwx1950, vwx1951), app(ty_Maybe, bgg), bgb) → new_lt2(vwx1940, vwx1950, bgg)
new_compare2(vwx230, vwx231, vwx232, vwx233, vwx234, vwx235, False, cc, cd, app(app(app(ty_@3, ce), cf), cg)) → new_ltEs(vwx232, vwx235, ce, cf, cg)
new_lt2(vwx230, vwx233, ga) → new_compare5(vwx230, vwx233, ga)
new_lt0(vwx230, vwx233, fd, ff) → new_compare3(vwx230, vwx233, fd, ff)
new_ltEs(@3(vwx1940, vwx1941, vwx1942), @3(vwx1950, vwx1951, vwx1952), app(ty_Maybe, bbg), gd, baa) → new_lt2(vwx1940, vwx1950, bbg)

The TRS R consists of the following rules:

new_ltEs23(vwx201, vwx202, ty_Int) → new_ltEs4(vwx201, vwx202)
new_esEs10(vwx301, vwx401, ty_Integer) → new_esEs20(vwx301, vwx401)
new_lt8(vwx231, vwx234, app(app(ty_@2, ee), ef)) → new_lt7(vwx231, vwx234, ee, ef)
new_compare13(EQ, EQ) → EQ
new_ltEs4(vwx194, vwx195) → new_fsEs(new_compare6(vwx194, vwx195))
new_ltEs22(vwx194, vwx195, app(app(ty_@2, bee), bgb)) → new_ltEs12(vwx194, vwx195, bee, bgb)
new_esEs6(vwx302, vwx402, app(app(app(ty_@3, dde), ddf), ddg)) → new_esEs22(vwx302, vwx402, dde, ddf, ddg)
new_esEs34(vwx1941, vwx1951, ty_@0) → new_esEs23(vwx1941, vwx1951)
new_esEs27(vwx231, vwx234, app(ty_[], eh)) → new_esEs16(vwx231, vwx234, eh)
new_esEs27(vwx231, vwx234, ty_Char) → new_esEs19(vwx231, vwx234)
new_esEs35(vwx3000, vwx4000, app(ty_[], fac)) → new_esEs16(vwx3000, vwx4000, fac)
new_ltEs5(vwx219, vwx220, app(app(ty_Either, cee), cef)) → new_ltEs10(vwx219, vwx220, cee, cef)
new_compare30(vwx30, vwx40, ty_Ordering) → new_compare13(vwx30, vwx40)
new_compare13(GT, LT) → GT
new_esEs24(Just(vwx3000), Just(vwx4000), app(app(ty_@2, ffe), fff)) → new_esEs21(vwx3000, vwx4000, ffe, fff)
new_esEs26(vwx230, vwx233, app(ty_Maybe, ga)) → new_esEs24(vwx230, vwx233, ga)
new_compare29(Just(vwx300), Nothing, ca) → GT
new_esEs27(vwx231, vwx234, ty_Integer) → new_esEs20(vwx231, vwx234)
new_ltEs10(Left(vwx1940), Right(vwx1950), bdc, bcd) → True
new_lt15(vwx230, vwx233, ga) → new_esEs12(new_compare29(vwx230, vwx233, ga), LT)
new_esEs11(vwx300, vwx400, app(app(ty_@2, dhg), dhh)) → new_esEs21(vwx300, vwx400, dhg, dhh)
new_esEs28(vwx243, vwx245, ty_Float) → new_esEs14(vwx243, vwx245)
new_esEs4(vwx300, vwx400, app(ty_Maybe, dbd)) → new_esEs24(vwx300, vwx400, dbd)
new_ltEs7(LT, EQ) → True
new_ltEs20(vwx244, vwx246, ty_Int) → new_ltEs4(vwx244, vwx246)
new_ltEs22(vwx194, vwx195, ty_Double) → new_ltEs18(vwx194, vwx195)
new_lt8(vwx231, vwx234, ty_Int) → new_lt5(vwx231, vwx234)
new_lt21(vwx1940, vwx1950, ty_Bool) → new_lt10(vwx1940, vwx1950)
new_ltEs23(vwx201, vwx202, ty_Ordering) → new_ltEs7(vwx201, vwx202)
new_esEs11(vwx300, vwx400, app(ty_[], dhf)) → new_esEs16(vwx300, vwx400, dhf)
new_lt21(vwx1940, vwx1950, ty_@0) → new_lt18(vwx1940, vwx1950)
new_esEs30(vwx3000, vwx4000, app(app(ty_Either, eba), ebb)) → new_esEs13(vwx3000, vwx4000, eba, ebb)
new_esEs31(vwx3000, vwx4000, app(ty_Ratio, edd)) → new_esEs25(vwx3000, vwx4000, edd)
new_ltEs22(vwx194, vwx195, app(app(ty_Either, bdc), bcd)) → new_ltEs10(vwx194, vwx195, bdc, bcd)
new_esEs7(vwx300, vwx400, app(ty_Maybe, dfb)) → new_esEs24(vwx300, vwx400, dfb)
new_esEs32(vwx3001, vwx4001, ty_@0) → new_esEs23(vwx3001, vwx4001)
new_ltEs23(vwx201, vwx202, ty_Double) → new_ltEs18(vwx201, vwx202)
new_ltEs6(True, False) → False
new_esEs26(vwx230, vwx233, ty_Integer) → new_esEs20(vwx230, vwx233)
new_primMulNat0(Zero, Zero) → Zero
new_lt20(vwx243, vwx245, ty_@0) → new_lt18(vwx243, vwx245)
new_lt22(vwx1941, vwx1951, app(app(ty_@2, bad), bae)) → new_lt7(vwx1941, vwx1951, bad, bae)
new_esEs24(Just(vwx3000), Just(vwx4000), ty_Char) → new_esEs19(vwx3000, vwx4000)
new_esEs8(vwx300, vwx400, ty_Double) → new_esEs17(vwx300, vwx400)
new_esEs26(vwx230, vwx233, app(ty_[], gb)) → new_esEs16(vwx230, vwx233, gb)
new_lt9(vwx230, vwx233, ty_Int) → new_lt5(vwx230, vwx233)
new_lt9(vwx230, vwx233, ty_Double) → new_lt19(vwx230, vwx233)
new_sr(Integer(vwx4000), Integer(vwx3010)) → Integer(new_primMulInt(vwx4000, vwx3010))
new_esEs7(vwx300, vwx400, ty_Float) → new_esEs14(vwx300, vwx400)
new_ltEs22(vwx194, vwx195, ty_Int) → new_ltEs4(vwx194, vwx195)
new_lt20(vwx243, vwx245, app(app(ty_Either, cdd), cde)) → new_lt13(vwx243, vwx245, cdd, cde)
new_ltEs21(vwx1941, vwx1951, app(ty_Maybe, bfe)) → new_ltEs13(vwx1941, vwx1951, bfe)
new_lt21(vwx1940, vwx1950, ty_Ordering) → new_lt6(vwx1940, vwx1950)
new_esEs26(vwx230, vwx233, app(app(ty_@2, fg), fh)) → new_esEs21(vwx230, vwx233, fg, fh)
new_ltEs13(Nothing, Just(vwx1950), eeh) → True
new_ltEs15(vwx194, vwx195) → new_fsEs(new_compare16(vwx194, vwx195))
new_esEs30(vwx3000, vwx4000, app(ty_Ratio, ecb)) → new_esEs25(vwx3000, vwx4000, ecb)
new_esEs6(vwx302, vwx402, app(ty_[], ddb)) → new_esEs16(vwx302, vwx402, ddb)
new_compare30(vwx30, vwx40, app(app(ty_Either, be), bf)) → new_compare17(vwx30, vwx40, be, bf)
new_esEs26(vwx230, vwx233, app(app(app(ty_@3, fa), fb), fc)) → new_esEs22(vwx230, vwx233, fa, fb, fc)
new_esEs32(vwx3001, vwx4001, app(ty_Maybe, eee)) → new_esEs24(vwx3001, vwx4001, eee)
new_ltEs22(vwx194, vwx195, ty_Float) → new_ltEs15(vwx194, vwx195)
new_ltEs5(vwx219, vwx220, ty_Float) → new_ltEs15(vwx219, vwx220)
new_compare27(vwx201, vwx202, False, cad, efb) → new_compare113(vwx201, vwx202, new_ltEs23(vwx201, vwx202, efb), cad, efb)
new_esEs20(Integer(vwx3000), Integer(vwx4000)) → new_primEqInt(vwx3000, vwx4000)
new_lt8(vwx231, vwx234, ty_Bool) → new_lt10(vwx231, vwx234)
new_ltEs20(vwx244, vwx246, app(ty_Maybe, ccf)) → new_ltEs13(vwx244, vwx246, ccf)
new_lt8(vwx231, vwx234, ty_@0) → new_lt18(vwx231, vwx234)
new_esEs30(vwx3000, vwx4000, ty_Double) → new_esEs17(vwx3000, vwx4000)
new_esEs13(Left(vwx3000), Left(vwx4000), ty_Char, cfh) → new_esEs19(vwx3000, vwx4000)
new_esEs4(vwx300, vwx400, ty_Integer) → new_esEs20(vwx300, vwx400)
new_compare10(vwx310, vwx311, vwx312, vwx313, True, cfc, cfd) → LT
new_ltEs19(vwx232, vwx235, ty_Integer) → new_ltEs9(vwx232, vwx235)
new_esEs11(vwx300, vwx400, ty_Double) → new_esEs17(vwx300, vwx400)
new_lt21(vwx1940, vwx1950, app(ty_Ratio, dhb)) → new_lt4(vwx1940, vwx1950, dhb)
new_lt16(vwx230, vwx233, gb) → new_esEs12(new_compare0(vwx230, vwx233, gb), LT)
new_esEs9(vwx300, vwx400, app(ty_Maybe, ehc)) → new_esEs24(vwx300, vwx400, ehc)
new_esEs35(vwx3000, vwx4000, app(ty_Ratio, fbb)) → new_esEs25(vwx3000, vwx4000, fbb)
new_lt21(vwx1940, vwx1950, app(ty_[], bgh)) → new_lt16(vwx1940, vwx1950, bgh)
new_lt21(vwx1940, vwx1950, ty_Char) → new_lt14(vwx1940, vwx1950)
new_esEs10(vwx301, vwx401, app(ty_Ratio, ffa)) → new_esEs25(vwx301, vwx401, ffa)
new_esEs13(Right(vwx3000), Right(vwx4000), chc, ty_Bool) → new_esEs15(vwx3000, vwx4000)
new_esEs34(vwx1941, vwx1951, ty_Ordering) → new_esEs12(vwx1941, vwx1951)
new_esEs12(GT, LT) → False
new_esEs12(LT, GT) → False
new_compare12(@3(vwx300, vwx301, vwx302), @3(vwx400, vwx401, vwx402), bb, bc, bd) → new_compare25(vwx300, vwx301, vwx302, vwx400, vwx401, vwx402, new_asAs(new_esEs4(vwx300, vwx400, bb), new_asAs(new_esEs5(vwx301, vwx401, bc), new_esEs6(vwx302, vwx402, bd))), bb, bc, bd)
new_esEs36(vwx3001, vwx4001, app(app(ty_Either, fbc), fbd)) → new_esEs13(vwx3001, vwx4001, fbc, fbd)
new_esEs37(vwx3002, vwx4002, ty_Ordering) → new_esEs12(vwx3002, vwx4002)
new_esEs6(vwx302, vwx402, ty_Int) → new_esEs18(vwx302, vwx402)
new_ltEs5(vwx219, vwx220, ty_Int) → new_ltEs4(vwx219, vwx220)
new_esEs8(vwx300, vwx400, app(ty_Ratio, dgg)) → new_esEs25(vwx300, vwx400, dgg)
new_esEs7(vwx300, vwx400, ty_Bool) → new_esEs15(vwx300, vwx400)
new_esEs13(Left(vwx3000), Left(vwx4000), app(ty_[], cgc), cfh) → new_esEs16(vwx3000, vwx4000, cgc)
new_ltEs20(vwx244, vwx246, app(app(ty_@2, ccd), cce)) → new_ltEs12(vwx244, vwx246, ccd, cce)
new_compare0(:(vwx30, vwx31), :(vwx40, vwx41), ba) → new_primCompAux0(vwx30, vwx40, new_compare0(vwx31, vwx41, ba), ba)
new_ltEs10(Right(vwx1940), Right(vwx1950), bdc, app(ty_[], bed)) → new_ltEs14(vwx1940, vwx1950, bed)
new_esEs13(Left(vwx3000), Left(vwx4000), ty_Integer, cfh) → new_esEs20(vwx3000, vwx4000)
new_esEs5(vwx301, vwx401, app(app(app(ty_@3, dcc), dcd), dce)) → new_esEs22(vwx301, vwx401, dcc, dcd, dce)
new_esEs27(vwx231, vwx234, app(ty_Maybe, eg)) → new_esEs24(vwx231, vwx234, eg)
new_ltEs22(vwx194, vwx195, app(ty_Ratio, efa)) → new_ltEs17(vwx194, vwx195, efa)
new_lt22(vwx1941, vwx1951, ty_Float) → new_lt17(vwx1941, vwx1951)
new_esEs33(vwx1940, vwx1950, ty_@0) → new_esEs23(vwx1940, vwx1950)
new_ltEs13(Just(vwx1940), Just(vwx1950), ty_@0) → new_ltEs16(vwx1940, vwx1950)
new_ltEs23(vwx201, vwx202, app(app(ty_Either, cah), cba)) → new_ltEs10(vwx201, vwx202, cah, cba)
new_ltEs24(vwx1942, vwx1952, app(app(ty_@2, hb), hc)) → new_ltEs12(vwx1942, vwx1952, hb, hc)
new_esEs28(vwx243, vwx245, app(ty_Ratio, dgh)) → new_esEs25(vwx243, vwx245, dgh)
new_lt23(vwx1940, vwx1950, ty_@0) → new_lt18(vwx1940, vwx1950)
new_lt4(vwx230, vwx233, cfg) → new_esEs12(new_compare7(vwx230, vwx233, cfg), LT)
new_lt20(vwx243, vwx245, app(ty_Maybe, cdh)) → new_lt15(vwx243, vwx245, cdh)
new_lt9(vwx230, vwx233, app(app(app(ty_@3, fa), fb), fc)) → new_lt11(vwx230, vwx233, fa, fb, fc)
new_ltEs10(Left(vwx1940), Left(vwx1950), ty_Char, bcd) → new_ltEs11(vwx1940, vwx1950)
new_ltEs21(vwx1941, vwx1951, app(app(ty_@2, bfc), bfd)) → new_ltEs12(vwx1941, vwx1951, bfc, bfd)
new_ltEs8(@3(vwx1940, vwx1941, vwx1942), @3(vwx1950, vwx1951, vwx1952), gc, gd, baa) → new_pePe(new_lt23(vwx1940, vwx1950, gc), new_asAs(new_esEs33(vwx1940, vwx1950, gc), new_pePe(new_lt22(vwx1941, vwx1951, gd), new_asAs(new_esEs34(vwx1941, vwx1951, gd), new_ltEs24(vwx1942, vwx1952, baa)))))
new_lt20(vwx243, vwx245, ty_Float) → new_lt17(vwx243, vwx245)
new_esEs31(vwx3000, vwx4000, ty_Int) → new_esEs18(vwx3000, vwx4000)
new_lt9(vwx230, vwx233, ty_@0) → new_lt18(vwx230, vwx233)
new_esEs33(vwx1940, vwx1950, ty_Double) → new_esEs17(vwx1940, vwx1950)
new_lt5(vwx230, vwx233) → new_esEs12(new_compare6(vwx230, vwx233), LT)
new_esEs13(Left(vwx3000), Left(vwx4000), ty_Float, cfh) → new_esEs14(vwx3000, vwx4000)
new_ltEs24(vwx1942, vwx1952, app(ty_Ratio, egb)) → new_ltEs17(vwx1942, vwx1952, egb)
new_esEs28(vwx243, vwx245, ty_Int) → new_esEs18(vwx243, vwx245)
new_esEs13(Right(vwx3000), Right(vwx4000), chc, ty_Float) → new_esEs14(vwx3000, vwx4000)
new_pePe(False, vwx321) → vwx321
new_lt6(vwx230, vwx233) → new_esEs12(new_compare13(vwx230, vwx233), LT)
new_ltEs10(Left(vwx1940), Left(vwx1950), app(app(ty_@2, bcg), bch), bcd) → new_ltEs12(vwx1940, vwx1950, bcg, bch)
new_lt10(vwx230, vwx233) → new_esEs12(new_compare31(vwx230, vwx233), LT)
new_esEs31(vwx3000, vwx4000, app(ty_[], ece)) → new_esEs16(vwx3000, vwx4000, ece)
new_esEs27(vwx231, vwx234, ty_Int) → new_esEs18(vwx231, vwx234)
new_ltEs22(vwx194, vwx195, app(ty_Maybe, eeh)) → new_ltEs13(vwx194, vwx195, eeh)
new_esEs15(False, True) → False
new_esEs15(True, False) → False
new_esEs23(@0, @0) → True
new_lt23(vwx1940, vwx1950, ty_Int) → new_lt5(vwx1940, vwx1950)
new_ltEs23(vwx201, vwx202, app(app(app(ty_@3, cae), caf), cag)) → new_ltEs8(vwx201, vwx202, cae, caf, cag)
new_ltEs22(vwx194, vwx195, ty_Integer) → new_ltEs9(vwx194, vwx195)
new_esEs37(vwx3002, vwx4002, app(ty_Ratio, fdf)) → new_esEs25(vwx3002, vwx4002, fdf)
new_esEs29(vwx1940, vwx1950, ty_Int) → new_esEs18(vwx1940, vwx1950)
new_esEs5(vwx301, vwx401, ty_Ordering) → new_esEs12(vwx301, vwx401)
new_esEs36(vwx3001, vwx4001, app(ty_Ratio, fcd)) → new_esEs25(vwx3001, vwx4001, fcd)
new_esEs35(vwx3000, vwx4000, ty_Char) → new_esEs19(vwx3000, vwx4000)
new_esEs4(vwx300, vwx400, ty_Float) → new_esEs14(vwx300, vwx400)
new_compare13(GT, GT) → EQ
new_ltEs5(vwx219, vwx220, ty_@0) → new_ltEs16(vwx219, vwx220)
new_ltEs23(vwx201, vwx202, ty_Char) → new_ltEs11(vwx201, vwx202)
new_ltEs16(vwx194, vwx195) → new_fsEs(new_compare9(vwx194, vwx195))
new_esEs30(vwx3000, vwx4000, ty_Bool) → new_esEs15(vwx3000, vwx4000)
new_esEs31(vwx3000, vwx4000, ty_Char) → new_esEs19(vwx3000, vwx4000)
new_compare110(vwx310, vwx311, vwx312, vwx313, True, vwx315, cfc, cfd) → new_compare10(vwx310, vwx311, vwx312, vwx313, True, cfc, cfd)
new_esEs13(Right(vwx3000), Right(vwx4000), chc, app(app(app(ty_@3, daa), dab), dac)) → new_esEs22(vwx3000, vwx4000, daa, dab, dac)
new_esEs24(Just(vwx3000), Just(vwx4000), app(app(ty_Either, ffb), ffc)) → new_esEs13(vwx3000, vwx4000, ffb, ffc)
new_esEs36(vwx3001, vwx4001, app(ty_[], fbe)) → new_esEs16(vwx3001, vwx4001, fbe)
new_compare7(:%(vwx300, vwx301), :%(vwx400, vwx401), ty_Integer) → new_compare18(new_sr(vwx300, vwx401), new_sr(vwx400, vwx301))
new_esEs31(vwx3000, vwx4000, ty_Bool) → new_esEs15(vwx3000, vwx4000)
new_ltEs10(Left(vwx1940), Left(vwx1950), app(app(ty_Either, bce), bcf), bcd) → new_ltEs10(vwx1940, vwx1950, bce, bcf)
new_compare31(False, True) → LT
new_esEs34(vwx1941, vwx1951, ty_Integer) → new_esEs20(vwx1941, vwx1951)
new_esEs4(vwx300, vwx400, ty_Char) → new_esEs19(vwx300, vwx400)
new_esEs10(vwx301, vwx401, ty_Ordering) → new_esEs12(vwx301, vwx401)
new_ltEs21(vwx1941, vwx1951, app(app(app(ty_@3, bef), beg), beh)) → new_ltEs8(vwx1941, vwx1951, bef, beg, beh)
new_esEs9(vwx300, vwx400, ty_Double) → new_esEs17(vwx300, vwx400)
new_esEs33(vwx1940, vwx1950, ty_Float) → new_esEs14(vwx1940, vwx1950)
new_ltEs7(GT, GT) → True
new_esEs18(vwx300, vwx400) → new_primEqInt(vwx300, vwx400)
new_lt8(vwx231, vwx234, ty_Integer) → new_lt12(vwx231, vwx234)
new_compare30(vwx30, vwx40, app(ty_Ratio, fdg)) → new_compare7(vwx30, vwx40, fdg)
new_lt20(vwx243, vwx245, app(app(ty_@2, cdf), cdg)) → new_lt7(vwx243, vwx245, cdf, cdg)
new_esEs26(vwx230, vwx233, ty_Char) → new_esEs19(vwx230, vwx233)
new_esEs24(Just(vwx3000), Just(vwx4000), ty_Ordering) → new_esEs12(vwx3000, vwx4000)
new_esEs31(vwx3000, vwx4000, app(app(ty_@2, ecf), ecg)) → new_esEs21(vwx3000, vwx4000, ecf, ecg)
new_esEs32(vwx3001, vwx4001, app(app(ty_@2, edh), eea)) → new_esEs21(vwx3001, vwx4001, edh, eea)
new_lt22(vwx1941, vwx1951, app(app(app(ty_@3, hf), hg), hh)) → new_lt11(vwx1941, vwx1951, hf, hg, hh)
new_ltEs5(vwx219, vwx220, app(ty_Maybe, cfa)) → new_ltEs13(vwx219, vwx220, cfa)
new_primCmpNat0(Zero, Succ(vwx4000)) → LT
new_ltEs21(vwx1941, vwx1951, ty_Ordering) → new_ltEs7(vwx1941, vwx1951)
new_ltEs13(Just(vwx1940), Just(vwx1950), app(app(ty_Either, bhd), bhe)) → new_ltEs10(vwx1940, vwx1950, bhd, bhe)
new_ltEs13(Nothing, Nothing, eeh) → True
new_esEs26(vwx230, vwx233, ty_Double) → new_esEs17(vwx230, vwx233)
new_ltEs19(vwx232, vwx235, ty_Float) → new_ltEs15(vwx232, vwx235)
new_ltEs23(vwx201, vwx202, ty_@0) → new_ltEs16(vwx201, vwx202)
new_lt9(vwx230, vwx233, app(ty_Ratio, cfg)) → new_lt4(vwx230, vwx233, cfg)
new_lt20(vwx243, vwx245, ty_Ordering) → new_lt6(vwx243, vwx245)
new_ltEs19(vwx232, vwx235, ty_Bool) → new_ltEs6(vwx232, vwx235)
new_esEs33(vwx1940, vwx1950, app(ty_[], bbh)) → new_esEs16(vwx1940, vwx1950, bbh)
new_esEs9(vwx300, vwx400, app(ty_Ratio, ehd)) → new_esEs25(vwx300, vwx400, ehd)
new_esEs36(vwx3001, vwx4001, app(app(ty_@2, fbf), fbg)) → new_esEs21(vwx3001, vwx4001, fbf, fbg)
new_esEs13(Left(vwx3000), Left(vwx4000), app(ty_Maybe, cha), cfh) → new_esEs24(vwx3000, vwx4000, cha)
new_ltEs5(vwx219, vwx220, ty_Ordering) → new_ltEs7(vwx219, vwx220)
new_lt20(vwx243, vwx245, ty_Int) → new_lt5(vwx243, vwx245)
new_esEs36(vwx3001, vwx4001, ty_Double) → new_esEs17(vwx3001, vwx4001)
new_ltEs19(vwx232, vwx235, app(app(ty_Either, da), db)) → new_ltEs10(vwx232, vwx235, da, db)
new_esEs37(vwx3002, vwx4002, app(ty_Maybe, fde)) → new_esEs24(vwx3002, vwx4002, fde)
new_esEs12(LT, LT) → True
new_esEs33(vwx1940, vwx1950, app(ty_Ratio, efh)) → new_esEs25(vwx1940, vwx1950, efh)
new_lt22(vwx1941, vwx1951, app(app(ty_Either, bab), bac)) → new_lt13(vwx1941, vwx1951, bab, bac)
new_pePe(True, vwx321) → True
new_compare0([], [], ba) → EQ
new_primEqNat0(Zero, Zero) → True
new_ltEs14(vwx3, vwx4, ba) → new_fsEs(new_compare0(vwx3, vwx4, ba))
new_esEs38(vwx3000, vwx4000, ty_Int) → new_esEs18(vwx3000, vwx4000)
new_esEs5(vwx301, vwx401, ty_Float) → new_esEs14(vwx301, vwx401)
new_compare11(vwx283, vwx284, True, ehe) → LT
new_lt21(vwx1940, vwx1950, ty_Double) → new_lt19(vwx1940, vwx1950)
new_esEs8(vwx300, vwx400, app(app(app(ty_@3, dgc), dgd), dge)) → new_esEs22(vwx300, vwx400, dgc, dgd, dge)
new_esEs5(vwx301, vwx401, ty_@0) → new_esEs23(vwx301, vwx401)
new_esEs34(vwx1941, vwx1951, app(app(ty_@2, bad), bae)) → new_esEs21(vwx1941, vwx1951, bad, bae)
new_esEs24(Just(vwx3000), Just(vwx4000), ty_Float) → new_esEs14(vwx3000, vwx4000)
new_esEs5(vwx301, vwx401, app(ty_Ratio, dcg)) → new_esEs25(vwx301, vwx401, dcg)
new_lt21(vwx1940, vwx1950, app(app(ty_Either, bgc), bgd)) → new_lt13(vwx1940, vwx1950, bgc, bgd)
new_esEs35(vwx3000, vwx4000, ty_Int) → new_esEs18(vwx3000, vwx4000)
new_compare30(vwx30, vwx40, ty_@0) → new_compare9(vwx30, vwx40)
new_ltEs13(Just(vwx1940), Just(vwx1950), ty_Bool) → new_ltEs6(vwx1940, vwx1950)
new_ltEs24(vwx1942, vwx1952, ty_@0) → new_ltEs16(vwx1942, vwx1952)
new_ltEs10(Right(vwx1940), Right(vwx1950), bdc, ty_Double) → new_ltEs18(vwx1940, vwx1950)
new_esEs9(vwx300, vwx400, app(app(ty_Either, egc), egd)) → new_esEs13(vwx300, vwx400, egc, egd)
new_esEs26(vwx230, vwx233, ty_Bool) → new_esEs15(vwx230, vwx233)
new_esEs6(vwx302, vwx402, ty_Ordering) → new_esEs12(vwx302, vwx402)
new_compare30(vwx30, vwx40, app(app(ty_@2, bg), bh)) → new_compare14(vwx30, vwx40, bg, bh)
new_esEs13(Right(vwx3000), Right(vwx4000), chc, ty_Integer) → new_esEs20(vwx3000, vwx4000)
new_compare30(vwx30, vwx40, ty_Bool) → new_compare31(vwx30, vwx40)
new_compare17(Right(vwx300), Right(vwx400), be, bf) → new_compare27(vwx300, vwx400, new_esEs8(vwx300, vwx400, bf), be, bf)
new_esEs4(vwx300, vwx400, app(ty_Ratio, dbe)) → new_esEs25(vwx300, vwx400, dbe)
new_lt22(vwx1941, vwx1951, ty_Ordering) → new_lt6(vwx1941, vwx1951)
new_ltEs10(Right(vwx1940), Right(vwx1950), bdc, app(app(app(ty_@3, bdd), bde), bdf)) → new_ltEs8(vwx1940, vwx1950, bdd, bde, bdf)
new_esEs34(vwx1941, vwx1951, ty_Double) → new_esEs17(vwx1941, vwx1951)
new_esEs30(vwx3000, vwx4000, ty_Char) → new_esEs19(vwx3000, vwx4000)
new_lt22(vwx1941, vwx1951, ty_Double) → new_lt19(vwx1941, vwx1951)
new_esEs9(vwx300, vwx400, app(ty_[], ege)) → new_esEs16(vwx300, vwx400, ege)
new_compare10(vwx310, vwx311, vwx312, vwx313, False, cfc, cfd) → GT
new_esEs36(vwx3001, vwx4001, ty_Char) → new_esEs19(vwx3001, vwx4001)
new_esEs5(vwx301, vwx401, app(app(ty_Either, dbf), dbg)) → new_esEs13(vwx301, vwx401, dbf, dbg)
new_esEs11(vwx300, vwx400, ty_Ordering) → new_esEs12(vwx300, vwx400)
new_esEs35(vwx3000, vwx4000, app(ty_Maybe, fba)) → new_esEs24(vwx3000, vwx4000, fba)
new_esEs30(vwx3000, vwx4000, app(ty_Maybe, eca)) → new_esEs24(vwx3000, vwx4000, eca)
new_primPlusNat0(Succ(vwx3220), vwx40100) → Succ(Succ(new_primPlusNat1(vwx3220, vwx40100)))
new_lt19(vwx230, vwx233) → new_esEs12(new_compare19(vwx230, vwx233), LT)
new_lt22(vwx1941, vwx1951, app(ty_[], bag)) → new_lt16(vwx1941, vwx1951, bag)
new_esEs36(vwx3001, vwx4001, app(ty_Maybe, fcc)) → new_esEs24(vwx3001, vwx4001, fcc)
new_esEs29(vwx1940, vwx1950, app(app(ty_Either, bgc), bgd)) → new_esEs13(vwx1940, vwx1950, bgc, bgd)
new_esEs32(vwx3001, vwx4001, ty_Double) → new_esEs17(vwx3001, vwx4001)
new_lt9(vwx230, vwx233, ty_Integer) → new_lt12(vwx230, vwx233)
new_lt21(vwx1940, vwx1950, app(app(app(ty_@3, bfg), bfh), bga)) → new_lt11(vwx1940, vwx1950, bfg, bfh, bga)
new_primEqInt(Neg(Succ(vwx30000)), Neg(Succ(vwx40000))) → new_primEqNat0(vwx30000, vwx40000)
new_esEs10(vwx301, vwx401, app(app(app(ty_@3, fee), fef), feg)) → new_esEs22(vwx301, vwx401, fee, fef, feg)
new_esEs13(Right(vwx3000), Right(vwx4000), chc, app(ty_Maybe, dad)) → new_esEs24(vwx3000, vwx4000, dad)
new_compare30(vwx30, vwx40, ty_Int) → new_compare6(vwx30, vwx40)
new_fsEs(LT) → new_not
new_esEs15(True, True) → True
new_lt8(vwx231, vwx234, ty_Double) → new_lt19(vwx231, vwx234)
new_compare113(vwx273, vwx274, True, ehg, ehh) → LT
new_esEs29(vwx1940, vwx1950, app(ty_Maybe, bgg)) → new_esEs24(vwx1940, vwx1950, bgg)
new_primPlusNat1(Succ(vwx32200), Zero) → Succ(vwx32200)
new_primPlusNat1(Zero, Succ(vwx401000)) → Succ(vwx401000)
new_esEs7(vwx300, vwx400, ty_Char) → new_esEs19(vwx300, vwx400)
new_ltEs19(vwx232, vwx235, app(ty_Ratio, dfe)) → new_ltEs17(vwx232, vwx235, dfe)
new_esEs5(vwx301, vwx401, ty_Int) → new_esEs18(vwx301, vwx401)
new_esEs16(:(vwx3000, vwx3001), :(vwx4000, vwx4001), daf) → new_asAs(new_esEs30(vwx3000, vwx4000, daf), new_esEs16(vwx3001, vwx4001, daf))
new_ltEs5(vwx219, vwx220, ty_Bool) → new_ltEs6(vwx219, vwx220)
new_lt8(vwx231, vwx234, app(app(app(ty_@3, dg), dh), ea)) → new_lt11(vwx231, vwx234, dg, dh, ea)
new_esEs6(vwx302, vwx402, app(app(ty_@2, ddc), ddd)) → new_esEs21(vwx302, vwx402, ddc, ddd)
new_esEs4(vwx300, vwx400, ty_Bool) → new_esEs15(vwx300, vwx400)
new_esEs12(EQ, LT) → False
new_esEs12(LT, EQ) → False
new_ltEs13(Just(vwx1940), Just(vwx1950), ty_Ordering) → new_ltEs7(vwx1940, vwx1950)
new_esEs6(vwx302, vwx402, ty_Integer) → new_esEs20(vwx302, vwx402)
new_esEs7(vwx300, vwx400, app(ty_[], ded)) → new_esEs16(vwx300, vwx400, ded)
new_lt23(vwx1940, vwx1950, app(ty_Ratio, efh)) → new_lt4(vwx1940, vwx1950, efh)
new_primEqInt(Neg(Zero), Neg(Zero)) → True
new_lt22(vwx1941, vwx1951, ty_Integer) → new_lt12(vwx1941, vwx1951)
new_esEs30(vwx3000, vwx4000, app(app(app(ty_@3, ebf), ebg), ebh)) → new_esEs22(vwx3000, vwx4000, ebf, ebg, ebh)
new_esEs35(vwx3000, vwx4000, app(app(app(ty_@3, faf), fag), fah)) → new_esEs22(vwx3000, vwx4000, faf, fag, fah)
new_esEs11(vwx300, vwx400, app(app(app(ty_@3, eaa), eab), eac)) → new_esEs22(vwx300, vwx400, eaa, eab, eac)
new_ltEs7(EQ, EQ) → True
new_esEs28(vwx243, vwx245, app(app(app(ty_@3, cch), cda), cdb)) → new_esEs22(vwx243, vwx245, cch, cda, cdb)
new_ltEs20(vwx244, vwx246, app(ty_Ratio, dha)) → new_ltEs17(vwx244, vwx246, dha)
new_esEs24(Just(vwx3000), Just(vwx4000), ty_Int) → new_esEs18(vwx3000, vwx4000)
new_esEs10(vwx301, vwx401, ty_@0) → new_esEs23(vwx301, vwx401)
new_esEs24(Nothing, Nothing, dbd) → True
new_ltEs5(vwx219, vwx220, ty_Double) → new_ltEs18(vwx219, vwx220)
new_esEs32(vwx3001, vwx4001, ty_Float) → new_esEs14(vwx3001, vwx4001)
new_compare112(vwx266, vwx267, False, efd, efe) → GT
new_compare15(vwx295, vwx296, vwx297, vwx298, vwx299, vwx300, True, vwx302, eaf, eag, eah) → new_compare111(vwx295, vwx296, vwx297, vwx298, vwx299, vwx300, True, eaf, eag, eah)
new_compare13(LT, LT) → EQ
new_primEqInt(Neg(Succ(vwx30000)), Neg(Zero)) → False
new_primEqInt(Neg(Zero), Neg(Succ(vwx40000))) → False
new_ltEs10(Right(vwx1940), Right(vwx1950), bdc, ty_Int) → new_ltEs4(vwx1940, vwx1950)
new_ltEs21(vwx1941, vwx1951, app(ty_[], bff)) → new_ltEs14(vwx1941, vwx1951, bff)
new_compare30(vwx30, vwx40, ty_Integer) → new_compare18(vwx30, vwx40)
new_esEs24(Just(vwx3000), Just(vwx4000), app(ty_Maybe, fgb)) → new_esEs24(vwx3000, vwx4000, fgb)
new_ltEs5(vwx219, vwx220, ty_Integer) → new_ltEs9(vwx219, vwx220)
new_esEs13(Right(vwx3000), Right(vwx4000), chc, ty_@0) → new_esEs23(vwx3000, vwx4000)
new_compare26(vwx194, vwx195, True, eeg, cab) → EQ
new_esEs37(vwx3002, vwx4002, ty_Double) → new_esEs17(vwx3002, vwx4002)
new_esEs9(vwx300, vwx400, app(app(ty_@2, egf), egg)) → new_esEs21(vwx300, vwx400, egf, egg)
new_esEs30(vwx3000, vwx4000, ty_Int) → new_esEs18(vwx3000, vwx4000)
new_esEs32(vwx3001, vwx4001, app(ty_[], edg)) → new_esEs16(vwx3001, vwx4001, edg)
new_esEs29(vwx1940, vwx1950, app(ty_[], bgh)) → new_esEs16(vwx1940, vwx1950, bgh)
new_esEs7(vwx300, vwx400, app(app(ty_Either, deb), dec)) → new_esEs13(vwx300, vwx400, deb, dec)
new_compare17(Left(vwx300), Left(vwx400), be, bf) → new_compare26(vwx300, vwx400, new_esEs7(vwx300, vwx400, be), be, bf)
new_compare13(GT, EQ) → GT
new_esEs28(vwx243, vwx245, app(app(ty_@2, cdf), cdg)) → new_esEs21(vwx243, vwx245, cdf, cdg)
new_ltEs5(vwx219, vwx220, app(ty_Ratio, cff)) → new_ltEs17(vwx219, vwx220, cff)
new_primCmpInt(Pos(Zero), Neg(Zero)) → EQ
new_primCmpInt(Neg(Zero), Pos(Zero)) → EQ
new_ltEs24(vwx1942, vwx1952, app(app(ty_Either, gh), ha)) → new_ltEs10(vwx1942, vwx1952, gh, ha)
new_esEs8(vwx300, vwx400, ty_Char) → new_esEs19(vwx300, vwx400)
new_lt9(vwx230, vwx233, ty_Char) → new_lt14(vwx230, vwx233)
new_ltEs10(Right(vwx1940), Right(vwx1950), bdc, ty_Bool) → new_ltEs6(vwx1940, vwx1950)
new_compare6(vwx30, vwx40) → new_primCmpInt(vwx30, vwx40)
new_esEs36(vwx3001, vwx4001, ty_@0) → new_esEs23(vwx3001, vwx4001)
new_ltEs7(GT, LT) → False
new_esEs24(Just(vwx3000), Just(vwx4000), app(app(app(ty_@3, ffg), ffh), fga)) → new_esEs22(vwx3000, vwx4000, ffg, ffh, fga)
new_ltEs24(vwx1942, vwx1952, ty_Char) → new_ltEs11(vwx1942, vwx1952)
new_esEs37(vwx3002, vwx4002, app(app(ty_Either, fce), fcf)) → new_esEs13(vwx3002, vwx4002, fce, fcf)
new_ltEs22(vwx194, vwx195, ty_Char) → new_ltEs11(vwx194, vwx195)
new_primCmpNat0(Succ(vwx3000), Succ(vwx4000)) → new_primCmpNat0(vwx3000, vwx4000)
new_esEs6(vwx302, vwx402, ty_Double) → new_esEs17(vwx302, vwx402)
new_esEs35(vwx3000, vwx4000, ty_Bool) → new_esEs15(vwx3000, vwx4000)
new_ltEs7(GT, EQ) → False
new_compare11(vwx283, vwx284, False, ehe) → GT
new_esEs8(vwx300, vwx400, ty_Bool) → new_esEs15(vwx300, vwx400)
new_lt22(vwx1941, vwx1951, ty_Int) → new_lt5(vwx1941, vwx1951)
new_esEs24(Just(vwx3000), Just(vwx4000), ty_Integer) → new_esEs20(vwx3000, vwx4000)
new_esEs13(Left(vwx3000), Left(vwx4000), app(ty_Ratio, chb), cfh) → new_esEs25(vwx3000, vwx4000, chb)
new_ltEs10(Left(vwx1940), Left(vwx1950), ty_Double, bcd) → new_ltEs18(vwx1940, vwx1950)
new_primEqInt(Pos(Succ(vwx30000)), Pos(Succ(vwx40000))) → new_primEqNat0(vwx30000, vwx40000)
new_lt8(vwx231, vwx234, app(ty_Ratio, dfd)) → new_lt4(vwx231, vwx234, dfd)
new_compare27(vwx201, vwx202, True, cad, efb) → EQ
new_lt22(vwx1941, vwx1951, ty_Char) → new_lt14(vwx1941, vwx1951)
new_esEs24(Nothing, Just(vwx4000), dbd) → False
new_esEs24(Just(vwx3000), Nothing, dbd) → False
new_esEs5(vwx301, vwx401, app(ty_[], dbh)) → new_esEs16(vwx301, vwx401, dbh)
new_lt22(vwx1941, vwx1951, ty_@0) → new_lt18(vwx1941, vwx1951)
new_esEs30(vwx3000, vwx4000, ty_Integer) → new_esEs20(vwx3000, vwx4000)
new_ltEs6(False, True) → True
new_lt9(vwx230, vwx233, app(ty_[], gb)) → new_lt16(vwx230, vwx233, gb)
new_esEs24(Just(vwx3000), Just(vwx4000), ty_Bool) → new_esEs15(vwx3000, vwx4000)
new_compare29(Just(vwx300), Just(vwx400), ca) → new_compare24(vwx300, vwx400, new_esEs11(vwx300, vwx400, ca), ca)
new_compare30(vwx30, vwx40, app(app(app(ty_@3, bb), bc), bd)) → new_compare12(vwx30, vwx40, bb, bc, bd)
new_ltEs20(vwx244, vwx246, ty_@0) → new_ltEs16(vwx244, vwx246)
new_primEqNat0(Succ(vwx30000), Succ(vwx40000)) → new_primEqNat0(vwx30000, vwx40000)
new_esEs5(vwx301, vwx401, ty_Integer) → new_esEs20(vwx301, vwx401)
new_ltEs6(True, True) → True
new_esEs5(vwx301, vwx401, ty_Double) → new_esEs17(vwx301, vwx401)
new_esEs26(vwx230, vwx233, ty_Ordering) → new_esEs12(vwx230, vwx233)
new_ltEs24(vwx1942, vwx1952, ty_Float) → new_ltEs15(vwx1942, vwx1952)
new_esEs29(vwx1940, vwx1950, app(app(ty_@2, bge), bgf)) → new_esEs21(vwx1940, vwx1950, bge, bgf)
new_compare13(LT, EQ) → LT
new_esEs36(vwx3001, vwx4001, ty_Int) → new_esEs18(vwx3001, vwx4001)
new_lt23(vwx1940, vwx1950, ty_Double) → new_lt19(vwx1940, vwx1950)
new_ltEs19(vwx232, vwx235, app(ty_[], df)) → new_ltEs14(vwx232, vwx235, df)
new_esEs9(vwx300, vwx400, ty_Int) → new_esEs18(vwx300, vwx400)
new_esEs24(Just(vwx3000), Just(vwx4000), app(ty_Ratio, fgc)) → new_esEs25(vwx3000, vwx4000, fgc)
new_compare113(vwx273, vwx274, False, ehg, ehh) → GT
new_ltEs24(vwx1942, vwx1952, app(app(app(ty_@3, ge), gf), gg)) → new_ltEs8(vwx1942, vwx1952, ge, gf, gg)
new_esEs8(vwx300, vwx400, ty_Integer) → new_esEs20(vwx300, vwx400)
new_primCompAux00(vwx173, LT) → LT
new_ltEs21(vwx1941, vwx1951, ty_Int) → new_ltEs4(vwx1941, vwx1951)
new_primCmpInt(Neg(Succ(vwx3000)), Neg(vwx400)) → new_primCmpNat0(vwx400, Succ(vwx3000))
new_esEs13(Left(vwx3000), Left(vwx4000), ty_Double, cfh) → new_esEs17(vwx3000, vwx4000)
new_esEs13(Left(vwx3000), Left(vwx4000), app(app(app(ty_@3, cgf), cgg), cgh), cfh) → new_esEs22(vwx3000, vwx4000, cgf, cgg, cgh)
new_ltEs10(Right(vwx1940), Right(vwx1950), bdc, app(app(ty_Either, bdg), bdh)) → new_ltEs10(vwx1940, vwx1950, bdg, bdh)
new_esEs12(EQ, EQ) → True
new_esEs35(vwx3000, vwx4000, ty_Ordering) → new_esEs12(vwx3000, vwx4000)
new_primEqInt(Pos(Succ(vwx30000)), Pos(Zero)) → False
new_primEqInt(Pos(Zero), Pos(Succ(vwx40000))) → False
new_compare24(vwx219, vwx220, False, cfe) → new_compare11(vwx219, vwx220, new_ltEs5(vwx219, vwx220, cfe), cfe)
new_lt21(vwx1940, vwx1950, app(app(ty_@2, bge), bgf)) → new_lt7(vwx1940, vwx1950, bge, bgf)
new_compare25(vwx230, vwx231, vwx232, vwx233, vwx234, vwx235, True, cc, cd, eb) → EQ
new_primCmpNat0(Zero, Zero) → EQ
new_esEs29(vwx1940, vwx1950, app(ty_Ratio, dhb)) → new_esEs25(vwx1940, vwx1950, dhb)
new_esEs28(vwx243, vwx245, ty_Integer) → new_esEs20(vwx243, vwx245)
new_primCmpNat0(Succ(vwx3000), Zero) → GT
new_esEs37(vwx3002, vwx4002, app(app(ty_@2, fch), fda)) → new_esEs21(vwx3002, vwx4002, fch, fda)
new_ltEs21(vwx1941, vwx1951, app(ty_Ratio, dhc)) → new_ltEs17(vwx1941, vwx1951, dhc)
new_esEs35(vwx3000, vwx4000, ty_@0) → new_esEs23(vwx3000, vwx4000)
new_primCmpInt(Neg(Zero), Pos(Succ(vwx4000))) → LT
new_compare9(@0, @0) → EQ
new_compare26(vwx194, vwx195, False, eeg, cab) → new_compare112(vwx194, vwx195, new_ltEs22(vwx194, vwx195, eeg), eeg, cab)
new_esEs6(vwx302, vwx402, ty_Float) → new_esEs14(vwx302, vwx402)
new_esEs35(vwx3000, vwx4000, app(app(ty_@2, fad), fae)) → new_esEs21(vwx3000, vwx4000, fad, fae)
new_primPlusNat1(Succ(vwx32200), Succ(vwx401000)) → Succ(Succ(new_primPlusNat1(vwx32200, vwx401000)))
new_ltEs19(vwx232, vwx235, app(app(ty_@2, dc), dd)) → new_ltEs12(vwx232, vwx235, dc, dd)
new_lt8(vwx231, vwx234, ty_Char) → new_lt14(vwx231, vwx234)
new_ltEs20(vwx244, vwx246, app(ty_[], ccg)) → new_ltEs14(vwx244, vwx246, ccg)
new_ltEs9(vwx194, vwx195) → new_fsEs(new_compare18(vwx194, vwx195))
new_primEqInt(Pos(Succ(vwx30000)), Neg(vwx4000)) → False
new_primEqInt(Neg(Succ(vwx30000)), Pos(vwx4000)) → False
new_esEs29(vwx1940, vwx1950, app(app(app(ty_@3, bfg), bfh), bga)) → new_esEs22(vwx1940, vwx1950, bfg, bfh, bga)
new_esEs8(vwx300, vwx400, app(app(ty_Either, dff), dfg)) → new_esEs13(vwx300, vwx400, dff, dfg)
new_esEs33(vwx1940, vwx1950, ty_Ordering) → new_esEs12(vwx1940, vwx1950)
new_esEs29(vwx1940, vwx1950, ty_Char) → new_esEs19(vwx1940, vwx1950)
new_lt8(vwx231, vwx234, app(ty_Maybe, eg)) → new_lt15(vwx231, vwx234, eg)
new_compare18(Integer(vwx300), Integer(vwx400)) → new_primCmpInt(vwx300, vwx400)
new_ltEs22(vwx194, vwx195, app(app(app(ty_@3, gc), gd), baa)) → new_ltEs8(vwx194, vwx195, gc, gd, baa)
new_ltEs20(vwx244, vwx246, ty_Double) → new_ltEs18(vwx244, vwx246)
new_ltEs20(vwx244, vwx246, ty_Float) → new_ltEs15(vwx244, vwx246)
new_esEs13(Left(vwx3000), Left(vwx4000), app(app(ty_@2, cgd), cge), cfh) → new_esEs21(vwx3000, vwx4000, cgd, cge)
new_esEs37(vwx3002, vwx4002, ty_Float) → new_esEs14(vwx3002, vwx4002)
new_esEs32(vwx3001, vwx4001, app(ty_Ratio, eef)) → new_esEs25(vwx3001, vwx4001, eef)
new_esEs30(vwx3000, vwx4000, ty_Ordering) → new_esEs12(vwx3000, vwx4000)
new_lt23(vwx1940, vwx1950, ty_Ordering) → new_lt6(vwx1940, vwx1950)
new_esEs27(vwx231, vwx234, app(app(ty_@2, ee), ef)) → new_esEs21(vwx231, vwx234, ee, ef)
new_ltEs7(EQ, GT) → True
new_primEqInt(Pos(Zero), Neg(Succ(vwx40000))) → False
new_primEqInt(Neg(Zero), Pos(Succ(vwx40000))) → False
new_compare31(False, False) → EQ
new_esEs6(vwx302, vwx402, app(ty_Maybe, ddh)) → new_esEs24(vwx302, vwx402, ddh)
new_esEs34(vwx1941, vwx1951, ty_Int) → new_esEs18(vwx1941, vwx1951)
new_esEs4(vwx300, vwx400, ty_Int) → new_esEs18(vwx300, vwx400)
new_primCmpInt(Pos(Zero), Pos(Succ(vwx4000))) → new_primCmpNat0(Zero, Succ(vwx4000))
new_primCompAux00(vwx173, EQ) → vwx173
new_esEs37(vwx3002, vwx4002, ty_Bool) → new_esEs15(vwx3002, vwx4002)
new_ltEs24(vwx1942, vwx1952, ty_Int) → new_ltEs4(vwx1942, vwx1952)
new_esEs9(vwx300, vwx400, ty_Ordering) → new_esEs12(vwx300, vwx400)
new_compare7(:%(vwx300, vwx301), :%(vwx400, vwx401), ty_Int) → new_compare6(new_sr0(vwx300, vwx401), new_sr0(vwx400, vwx301))
new_esEs11(vwx300, vwx400, ty_Float) → new_esEs14(vwx300, vwx400)
new_esEs13(Left(vwx3000), Left(vwx4000), app(app(ty_Either, cga), cgb), cfh) → new_esEs13(vwx3000, vwx4000, cga, cgb)
new_esEs34(vwx1941, vwx1951, app(ty_Maybe, baf)) → new_esEs24(vwx1941, vwx1951, baf)
new_esEs10(vwx301, vwx401, ty_Char) → new_esEs19(vwx301, vwx401)
new_esEs5(vwx301, vwx401, app(ty_Maybe, dcf)) → new_esEs24(vwx301, vwx401, dcf)
new_ltEs19(vwx232, vwx235, ty_Double) → new_ltEs18(vwx232, vwx235)
new_lt20(vwx243, vwx245, app(ty_Ratio, dgh)) → new_lt4(vwx243, vwx245, dgh)
new_lt9(vwx230, vwx233, ty_Float) → new_lt17(vwx230, vwx233)
new_esEs36(vwx3001, vwx4001, app(app(app(ty_@3, fbh), fca), fcb)) → new_esEs22(vwx3001, vwx4001, fbh, fca, fcb)
new_esEs28(vwx243, vwx245, ty_Ordering) → new_esEs12(vwx243, vwx245)
new_esEs37(vwx3002, vwx4002, app(ty_[], fcg)) → new_esEs16(vwx3002, vwx4002, fcg)
new_esEs10(vwx301, vwx401, app(ty_[], feb)) → new_esEs16(vwx301, vwx401, feb)
new_esEs10(vwx301, vwx401, app(app(ty_@2, fec), fed)) → new_esEs21(vwx301, vwx401, fec, fed)
new_lt21(vwx1940, vwx1950, ty_Integer) → new_lt12(vwx1940, vwx1950)
new_lt23(vwx1940, vwx1950, ty_Float) → new_lt17(vwx1940, vwx1950)
new_esEs9(vwx300, vwx400, ty_Float) → new_esEs14(vwx300, vwx400)
new_esEs28(vwx243, vwx245, app(ty_Maybe, cdh)) → new_esEs24(vwx243, vwx245, cdh)
new_esEs33(vwx1940, vwx1950, app(app(ty_@2, bbe), bbf)) → new_esEs21(vwx1940, vwx1950, bbe, bbf)
new_esEs35(vwx3000, vwx4000, ty_Integer) → new_esEs20(vwx3000, vwx4000)
new_lt21(vwx1940, vwx1950, app(ty_Maybe, bgg)) → new_lt15(vwx1940, vwx1950, bgg)
new_ltEs10(Left(vwx1940), Left(vwx1950), ty_@0, bcd) → new_ltEs16(vwx1940, vwx1950)
new_esEs28(vwx243, vwx245, app(ty_[], cea)) → new_esEs16(vwx243, vwx245, cea)
new_ltEs23(vwx201, vwx202, app(ty_Ratio, efc)) → new_ltEs17(vwx201, vwx202, efc)
new_compare24(vwx219, vwx220, True, cfe) → EQ
new_esEs26(vwx230, vwx233, ty_@0) → new_esEs23(vwx230, vwx233)
new_primPlusNat0(Zero, vwx40100) → Succ(vwx40100)
new_primCmpInt(Pos(Succ(vwx3000)), Pos(vwx400)) → new_primCmpNat0(Succ(vwx3000), vwx400)
new_esEs12(GT, EQ) → False
new_esEs12(EQ, GT) → False
new_esEs36(vwx3001, vwx4001, ty_Float) → new_esEs14(vwx3001, vwx4001)
new_esEs4(vwx300, vwx400, ty_Ordering) → new_esEs12(vwx300, vwx400)
new_ltEs23(vwx201, vwx202, app(ty_[], cbe)) → new_ltEs14(vwx201, vwx202, cbe)
new_esEs34(vwx1941, vwx1951, app(ty_Ratio, ega)) → new_esEs25(vwx1941, vwx1951, ega)
new_ltEs20(vwx244, vwx246, ty_Char) → new_ltEs11(vwx244, vwx246)
new_esEs34(vwx1941, vwx1951, ty_Float) → new_esEs14(vwx1941, vwx1951)
new_ltEs10(Right(vwx1940), Right(vwx1950), bdc, ty_@0) → new_ltEs16(vwx1940, vwx1950)
new_compare111(vwx295, vwx296, vwx297, vwx298, vwx299, vwx300, False, eaf, eag, eah) → GT
new_esEs34(vwx1941, vwx1951, ty_Char) → new_esEs19(vwx1941, vwx1951)
new_esEs36(vwx3001, vwx4001, ty_Integer) → new_esEs20(vwx3001, vwx4001)
new_esEs31(vwx3000, vwx4000, app(ty_Maybe, edc)) → new_esEs24(vwx3000, vwx4000, edc)
new_esEs30(vwx3000, vwx4000, ty_@0) → new_esEs23(vwx3000, vwx4000)
new_compare25(vwx230, vwx231, vwx232, vwx233, vwx234, vwx235, False, cc, cd, eb) → new_compare15(vwx230, vwx231, vwx232, vwx233, vwx234, vwx235, new_lt9(vwx230, vwx233, cc), new_asAs(new_esEs26(vwx230, vwx233, cc), new_pePe(new_lt8(vwx231, vwx234, cd), new_asAs(new_esEs27(vwx231, vwx234, cd), new_ltEs19(vwx232, vwx235, eb)))), cc, cd, eb)
new_lt9(vwx230, vwx233, ty_Bool) → new_lt10(vwx230, vwx233)
new_lt9(vwx230, vwx233, app(app(ty_Either, fd), ff)) → new_lt13(vwx230, vwx233, fd, ff)
new_esEs33(vwx1940, vwx1950, ty_Char) → new_esEs19(vwx1940, vwx1950)
new_compare15(vwx295, vwx296, vwx297, vwx298, vwx299, vwx300, False, vwx302, eaf, eag, eah) → new_compare111(vwx295, vwx296, vwx297, vwx298, vwx299, vwx300, vwx302, eaf, eag, eah)
new_esEs30(vwx3000, vwx4000, app(app(ty_@2, ebd), ebe)) → new_esEs21(vwx3000, vwx4000, ebd, ebe)
new_compare14(@2(vwx300, vwx301), @2(vwx400, vwx401), bg, bh) → new_compare28(vwx300, vwx301, vwx400, vwx401, new_asAs(new_esEs9(vwx300, vwx400, bg), new_esEs10(vwx301, vwx401, bh)), bg, bh)
new_esEs11(vwx300, vwx400, app(app(ty_Either, dhd), dhe)) → new_esEs13(vwx300, vwx400, dhd, dhe)
new_esEs26(vwx230, vwx233, ty_Int) → new_esEs18(vwx230, vwx233)
new_esEs24(Just(vwx3000), Just(vwx4000), ty_Double) → new_esEs17(vwx3000, vwx4000)
new_ltEs17(vwx194, vwx195, efa) → new_fsEs(new_compare7(vwx194, vwx195, efa))
new_esEs34(vwx1941, vwx1951, app(ty_[], bag)) → new_esEs16(vwx1941, vwx1951, bag)
new_compare0(:(vwx30, vwx31), [], ba) → GT
new_lt21(vwx1940, vwx1950, ty_Int) → new_lt5(vwx1940, vwx1950)
new_ltEs13(Just(vwx1940), Just(vwx1950), ty_Double) → new_ltEs18(vwx1940, vwx1950)
new_esEs11(vwx300, vwx400, app(ty_Ratio, eae)) → new_esEs25(vwx300, vwx400, eae)
new_esEs6(vwx302, vwx402, app(app(ty_Either, dch), dda)) → new_esEs13(vwx302, vwx402, dch, dda)
new_esEs28(vwx243, vwx245, app(app(ty_Either, cdd), cde)) → new_esEs13(vwx243, vwx245, cdd, cde)
new_esEs37(vwx3002, vwx4002, ty_@0) → new_esEs23(vwx3002, vwx4002)
new_ltEs23(vwx201, vwx202, ty_Integer) → new_ltEs9(vwx201, vwx202)
new_esEs10(vwx301, vwx401, ty_Bool) → new_esEs15(vwx301, vwx401)
new_esEs24(Just(vwx3000), Just(vwx4000), ty_@0) → new_esEs23(vwx3000, vwx4000)
new_ltEs20(vwx244, vwx246, app(app(app(ty_@3, cbg), cbh), cca)) → new_ltEs8(vwx244, vwx246, cbg, cbh, cca)
new_compare17(Left(vwx300), Right(vwx400), be, bf) → LT
new_lt18(vwx230, vwx233) → new_esEs12(new_compare9(vwx230, vwx233), LT)
new_esEs13(Right(vwx3000), Right(vwx4000), chc, app(ty_[], chf)) → new_esEs16(vwx3000, vwx4000, chf)
new_ltEs13(Just(vwx1940), Just(vwx1950), ty_Float) → new_ltEs15(vwx1940, vwx1950)
new_esEs10(vwx301, vwx401, ty_Int) → new_esEs18(vwx301, vwx401)
new_esEs7(vwx300, vwx400, ty_Integer) → new_esEs20(vwx300, vwx400)
new_esEs13(Left(vwx3000), Left(vwx4000), ty_Ordering, cfh) → new_esEs12(vwx3000, vwx4000)
new_lt23(vwx1940, vwx1950, app(app(ty_@2, bbe), bbf)) → new_lt7(vwx1940, vwx1950, bbe, bbf)
new_primCmpInt(Pos(Succ(vwx3000)), Neg(vwx400)) → GT
new_lt7(vwx230, vwx233, fg, fh) → new_esEs12(new_compare14(vwx230, vwx233, fg, fh), LT)
new_lt23(vwx1940, vwx1950, ty_Char) → new_lt14(vwx1940, vwx1950)
new_ltEs22(vwx194, vwx195, app(ty_[], cac)) → new_ltEs14(vwx194, vwx195, cac)
new_esEs33(vwx1940, vwx1950, ty_Integer) → new_esEs20(vwx1940, vwx1950)
new_lt17(vwx230, vwx233) → new_esEs12(new_compare16(vwx230, vwx233), LT)
new_esEs22(@3(vwx3000, vwx3001, vwx3002), @3(vwx4000, vwx4001, vwx4002), dba, dbb, dbc) → new_asAs(new_esEs35(vwx3000, vwx4000, dba), new_asAs(new_esEs36(vwx3001, vwx4001, dbb), new_esEs37(vwx3002, vwx4002, dbc)))
new_primMulInt(Pos(vwx3010), Pos(vwx4010)) → Pos(new_primMulNat0(vwx3010, vwx4010))
new_esEs7(vwx300, vwx400, ty_@0) → new_esEs23(vwx300, vwx400)
new_ltEs24(vwx1942, vwx1952, ty_Bool) → new_ltEs6(vwx1942, vwx1952)
new_compare17(Right(vwx300), Left(vwx400), be, bf) → GT
new_ltEs21(vwx1941, vwx1951, ty_Integer) → new_ltEs9(vwx1941, vwx1951)
new_ltEs11(vwx194, vwx195) → new_fsEs(new_compare8(vwx194, vwx195))
new_esEs27(vwx231, vwx234, ty_@0) → new_esEs23(vwx231, vwx234)
new_esEs31(vwx3000, vwx4000, ty_Float) → new_esEs14(vwx3000, vwx4000)
new_primMulInt(Neg(vwx3010), Neg(vwx4010)) → Pos(new_primMulNat0(vwx3010, vwx4010))
new_esEs7(vwx300, vwx400, ty_Int) → new_esEs18(vwx300, vwx400)
new_esEs10(vwx301, vwx401, app(app(ty_Either, fdh), fea)) → new_esEs13(vwx301, vwx401, fdh, fea)
new_lt8(vwx231, vwx234, ty_Float) → new_lt17(vwx231, vwx234)
new_esEs11(vwx300, vwx400, ty_Integer) → new_esEs20(vwx300, vwx400)
new_lt20(vwx243, vwx245, app(app(app(ty_@3, cch), cda), cdb)) → new_lt11(vwx243, vwx245, cch, cda, cdb)
new_esEs33(vwx1940, vwx1950, app(app(app(ty_@3, bah), bba), bbb)) → new_esEs22(vwx1940, vwx1950, bah, bba, bbb)
new_compare19(Double(vwx300, vwx301), Double(vwx400, vwx401)) → new_compare6(new_sr0(vwx300, vwx400), new_sr0(vwx301, vwx401))
new_primEqNat0(Succ(vwx30000), Zero) → False
new_primEqNat0(Zero, Succ(vwx40000)) → False
new_lt13(vwx230, vwx233, fd, ff) → new_esEs12(new_compare17(vwx230, vwx233, fd, ff), LT)
new_esEs10(vwx301, vwx401, ty_Double) → new_esEs17(vwx301, vwx401)
new_esEs4(vwx300, vwx400, ty_@0) → new_esEs23(vwx300, vwx400)
new_esEs13(Right(vwx3000), Right(vwx4000), chc, app(ty_Ratio, dae)) → new_esEs25(vwx3000, vwx4000, dae)
new_esEs11(vwx300, vwx400, ty_Char) → new_esEs19(vwx300, vwx400)
new_esEs8(vwx300, vwx400, ty_Int) → new_esEs18(vwx300, vwx400)
new_esEs27(vwx231, vwx234, app(app(ty_Either, ec), ed)) → new_esEs13(vwx231, vwx234, ec, ed)
new_primEqInt(Pos(Zero), Pos(Zero)) → True
new_lt22(vwx1941, vwx1951, app(ty_Maybe, baf)) → new_lt15(vwx1941, vwx1951, baf)
new_esEs33(vwx1940, vwx1950, app(ty_Maybe, bbg)) → new_esEs24(vwx1940, vwx1950, bbg)
new_esEs11(vwx300, vwx400, ty_Int) → new_esEs18(vwx300, vwx400)
new_esEs11(vwx300, vwx400, app(ty_Maybe, ead)) → new_esEs24(vwx300, vwx400, ead)
new_ltEs10(Right(vwx1940), Right(vwx1950), bdc, ty_Integer) → new_ltEs9(vwx1940, vwx1950)
new_esEs4(vwx300, vwx400, app(app(ty_@2, dag), dah)) → new_esEs21(vwx300, vwx400, dag, dah)
new_compare29(Nothing, Nothing, ca) → EQ
new_esEs29(vwx1940, vwx1950, ty_Integer) → new_esEs20(vwx1940, vwx1950)
new_ltEs19(vwx232, vwx235, app(app(app(ty_@3, ce), cf), cg)) → new_ltEs8(vwx232, vwx235, ce, cf, cg)
new_esEs16([], :(vwx4000, vwx4001), daf) → False
new_esEs16(:(vwx3000, vwx3001), [], daf) → False
new_ltEs18(vwx194, vwx195) → new_fsEs(new_compare19(vwx194, vwx195))
new_compare13(LT, GT) → LT
new_lt20(vwx243, vwx245, ty_Char) → new_lt14(vwx243, vwx245)
new_ltEs20(vwx244, vwx246, app(app(ty_Either, ccb), ccc)) → new_ltEs10(vwx244, vwx246, ccb, ccc)
new_esEs7(vwx300, vwx400, app(app(app(ty_@3, deg), deh), dfa)) → new_esEs22(vwx300, vwx400, deg, deh, dfa)
new_ltEs24(vwx1942, vwx1952, app(ty_Maybe, hd)) → new_ltEs13(vwx1942, vwx1952, hd)
new_esEs27(vwx231, vwx234, app(app(app(ty_@3, dg), dh), ea)) → new_esEs22(vwx231, vwx234, dg, dh, ea)
new_compare31(True, False) → GT
new_esEs7(vwx300, vwx400, app(ty_Ratio, dfc)) → new_esEs25(vwx300, vwx400, dfc)
new_compare30(vwx30, vwx40, app(ty_Maybe, ca)) → new_compare29(vwx30, vwx40, ca)
new_compare111(vwx295, vwx296, vwx297, vwx298, vwx299, vwx300, True, eaf, eag, eah) → LT
new_lt23(vwx1940, vwx1950, app(ty_[], bbh)) → new_lt16(vwx1940, vwx1950, bbh)
new_primCmpInt(Neg(Zero), Neg(Succ(vwx4000))) → new_primCmpNat0(Succ(vwx4000), Zero)
new_esEs6(vwx302, vwx402, app(ty_Ratio, dea)) → new_esEs25(vwx302, vwx402, dea)
new_ltEs10(Left(vwx1940), Left(vwx1950), app(ty_Maybe, bda), bcd) → new_ltEs13(vwx1940, vwx1950, bda)
new_ltEs10(Left(vwx1940), Left(vwx1950), app(ty_[], bdb), bcd) → new_ltEs14(vwx1940, vwx1950, bdb)
new_primCmpInt(Pos(Zero), Neg(Succ(vwx4000))) → GT
new_ltEs13(Just(vwx1940), Just(vwx1950), ty_Int) → new_ltEs4(vwx1940, vwx1950)
new_ltEs13(Just(vwx1940), Just(vwx1950), ty_Char) → new_ltEs11(vwx1940, vwx1950)
new_esEs31(vwx3000, vwx4000, ty_@0) → new_esEs23(vwx3000, vwx4000)
new_esEs28(vwx243, vwx245, ty_@0) → new_esEs23(vwx243, vwx245)
new_ltEs24(vwx1942, vwx1952, ty_Double) → new_ltEs18(vwx1942, vwx1952)
new_sr0(vwx301, vwx401) → new_primMulInt(vwx301, vwx401)
new_compare29(Nothing, Just(vwx400), ca) → LT
new_ltEs21(vwx1941, vwx1951, app(app(ty_Either, bfa), bfb)) → new_ltEs10(vwx1941, vwx1951, bfa, bfb)
new_lt9(vwx230, vwx233, app(ty_Maybe, ga)) → new_lt15(vwx230, vwx233, ga)
new_compare30(vwx30, vwx40, ty_Float) → new_compare16(vwx30, vwx40)
new_esEs9(vwx300, vwx400, ty_Bool) → new_esEs15(vwx300, vwx400)
new_esEs30(vwx3000, vwx4000, app(ty_[], ebc)) → new_esEs16(vwx3000, vwx4000, ebc)
new_esEs21(@2(vwx3000, vwx3001), @2(vwx4000, vwx4001), dag, dah) → new_asAs(new_esEs31(vwx3000, vwx4000, dag), new_esEs32(vwx3001, vwx4001, dah))
new_esEs27(vwx231, vwx234, app(ty_Ratio, dfd)) → new_esEs25(vwx231, vwx234, dfd)
new_esEs39(vwx3001, vwx4001, ty_Integer) → new_esEs20(vwx3001, vwx4001)
new_ltEs21(vwx1941, vwx1951, ty_@0) → new_ltEs16(vwx1941, vwx1951)
new_esEs19(Char(vwx3000), Char(vwx4000)) → new_primEqNat0(vwx3000, vwx4000)
new_esEs13(Right(vwx3000), Right(vwx4000), chc, ty_Ordering) → new_esEs12(vwx3000, vwx4000)
new_ltEs13(Just(vwx1940), Just(vwx1950), app(ty_Maybe, bhh)) → new_ltEs13(vwx1940, vwx1950, bhh)
new_esEs10(vwx301, vwx401, ty_Float) → new_esEs14(vwx301, vwx401)
new_lt20(vwx243, vwx245, app(ty_[], cea)) → new_lt16(vwx243, vwx245, cea)
new_ltEs10(Left(vwx1940), Left(vwx1950), app(app(app(ty_@3, bca), bcb), bcc), bcd) → new_ltEs8(vwx1940, vwx1950, bca, bcb, bcc)
new_lt12(vwx230, vwx233) → new_esEs12(new_compare18(vwx230, vwx233), LT)
new_esEs5(vwx301, vwx401, app(app(ty_@2, dca), dcb)) → new_esEs21(vwx301, vwx401, dca, dcb)
new_esEs32(vwx3001, vwx4001, app(app(ty_Either, ede), edf)) → new_esEs13(vwx3001, vwx4001, ede, edf)
new_ltEs10(Left(vwx1940), Left(vwx1950), ty_Bool, bcd) → new_ltEs6(vwx1940, vwx1950)
new_ltEs10(Right(vwx1940), Right(vwx1950), bdc, app(app(ty_@2, bea), beb)) → new_ltEs12(vwx1940, vwx1950, bea, beb)
new_primCompAux0(vwx30, vwx40, vwx169, ba) → new_primCompAux00(vwx169, new_compare30(vwx30, vwx40, ba))
new_ltEs23(vwx201, vwx202, ty_Bool) → new_ltEs6(vwx201, vwx202)
new_ltEs13(Just(vwx1940), Nothing, eeh) → False
new_primCmpInt(Neg(Zero), Neg(Zero)) → EQ
new_esEs10(vwx301, vwx401, app(ty_Maybe, feh)) → new_esEs24(vwx301, vwx401, feh)
new_ltEs10(Left(vwx1940), Left(vwx1950), ty_Integer, bcd) → new_ltEs9(vwx1940, vwx1950)
new_ltEs10(Left(vwx1940), Left(vwx1950), ty_Int, bcd) → new_ltEs4(vwx1940, vwx1950)
new_esEs13(Left(vwx3000), Left(vwx4000), ty_@0, cfh) → new_esEs23(vwx3000, vwx4000)
new_compare30(vwx30, vwx40, app(ty_[], cb)) → new_compare0(vwx30, vwx40, cb)
new_not → True
new_esEs29(vwx1940, vwx1950, ty_Bool) → new_esEs15(vwx1940, vwx1950)
new_esEs11(vwx300, vwx400, ty_Bool) → new_esEs15(vwx300, vwx400)
new_compare28(vwx243, vwx244, vwx245, vwx246, True, cbf, cdc) → EQ
new_asAs(False, vwx261) → False
new_lt20(vwx243, vwx245, ty_Double) → new_lt19(vwx243, vwx245)
new_compare30(vwx30, vwx40, ty_Char) → new_compare8(vwx30, vwx40)
new_primMulInt(Neg(vwx3010), Pos(vwx4010)) → Neg(new_primMulNat0(vwx3010, vwx4010))
new_primMulInt(Pos(vwx3010), Neg(vwx4010)) → Neg(new_primMulNat0(vwx3010, vwx4010))
new_ltEs19(vwx232, vwx235, ty_Char) → new_ltEs11(vwx232, vwx235)
new_primMulNat0(Zero, Succ(vwx40100)) → Zero
new_primMulNat0(Succ(vwx30100), Zero) → Zero
new_esEs36(vwx3001, vwx4001, ty_Ordering) → new_esEs12(vwx3001, vwx4001)
new_esEs37(vwx3002, vwx4002, ty_Integer) → new_esEs20(vwx3002, vwx4002)
new_lt23(vwx1940, vwx1950, app(app(app(ty_@3, bah), bba), bbb)) → new_lt11(vwx1940, vwx1950, bah, bba, bbb)
new_esEs36(vwx3001, vwx4001, ty_Bool) → new_esEs15(vwx3001, vwx4001)
new_esEs5(vwx301, vwx401, ty_Char) → new_esEs19(vwx301, vwx401)
new_esEs8(vwx300, vwx400, app(ty_[], dfh)) → new_esEs16(vwx300, vwx400, dfh)
new_lt22(vwx1941, vwx1951, ty_Bool) → new_lt10(vwx1941, vwx1951)
new_ltEs13(Just(vwx1940), Just(vwx1950), app(ty_[], caa)) → new_ltEs14(vwx1940, vwx1950, caa)
new_esEs32(vwx3001, vwx4001, ty_Bool) → new_esEs15(vwx3001, vwx4001)
new_ltEs20(vwx244, vwx246, ty_Bool) → new_ltEs6(vwx244, vwx246)
new_ltEs24(vwx1942, vwx1952, ty_Integer) → new_ltEs9(vwx1942, vwx1952)
new_esEs29(vwx1940, vwx1950, ty_Double) → new_esEs17(vwx1940, vwx1950)
new_esEs9(vwx300, vwx400, ty_Integer) → new_esEs20(vwx300, vwx400)
new_esEs17(Double(vwx3000, vwx3001), Double(vwx4000, vwx4001)) → new_esEs18(new_sr0(vwx3000, vwx4000), new_sr0(vwx3001, vwx4001))
new_lt8(vwx231, vwx234, app(app(ty_Either, ec), ed)) → new_lt13(vwx231, vwx234, ec, ed)
new_lt23(vwx1940, vwx1950, app(ty_Maybe, bbg)) → new_lt15(vwx1940, vwx1950, bbg)
new_esEs37(vwx3002, vwx4002, ty_Int) → new_esEs18(vwx3002, vwx4002)
new_esEs31(vwx3000, vwx4000, ty_Double) → new_esEs17(vwx3000, vwx4000)
new_ltEs5(vwx219, vwx220, ty_Char) → new_ltEs11(vwx219, vwx220)
new_esEs30(vwx3000, vwx4000, ty_Float) → new_esEs14(vwx3000, vwx4000)
new_esEs33(vwx1940, vwx1950, ty_Int) → new_esEs18(vwx1940, vwx1950)
new_esEs6(vwx302, vwx402, ty_Bool) → new_esEs15(vwx302, vwx402)
new_esEs29(vwx1940, vwx1950, ty_Float) → new_esEs14(vwx1940, vwx1950)
new_esEs7(vwx300, vwx400, ty_Ordering) → new_esEs12(vwx300, vwx400)
new_esEs27(vwx231, vwx234, ty_Double) → new_esEs17(vwx231, vwx234)
new_lt8(vwx231, vwx234, ty_Ordering) → new_lt6(vwx231, vwx234)
new_lt8(vwx231, vwx234, app(ty_[], eh)) → new_lt16(vwx231, vwx234, eh)
new_esEs33(vwx1940, vwx1950, ty_Bool) → new_esEs15(vwx1940, vwx1950)
new_ltEs5(vwx219, vwx220, app(ty_[], cfb)) → new_ltEs14(vwx219, vwx220, cfb)
new_esEs9(vwx300, vwx400, ty_@0) → new_esEs23(vwx300, vwx400)
new_lt9(vwx230, vwx233, app(app(ty_@2, fg), fh)) → new_lt7(vwx230, vwx233, fg, fh)
new_lt23(vwx1940, vwx1950, ty_Bool) → new_lt10(vwx1940, vwx1950)
new_lt14(vwx230, vwx233) → new_esEs12(new_compare8(vwx230, vwx233), LT)
new_ltEs10(Right(vwx1940), Right(vwx1950), bdc, app(ty_Ratio, efg)) → new_ltEs17(vwx1940, vwx1950, efg)
new_esEs28(vwx243, vwx245, ty_Char) → new_esEs19(vwx243, vwx245)
new_esEs26(vwx230, vwx233, app(ty_Ratio, cfg)) → new_esEs25(vwx230, vwx233, cfg)
new_ltEs13(Just(vwx1940), Just(vwx1950), ty_Integer) → new_ltEs9(vwx1940, vwx1950)
new_esEs8(vwx300, vwx400, app(ty_Maybe, dgf)) → new_esEs24(vwx300, vwx400, dgf)
new_esEs28(vwx243, vwx245, ty_Bool) → new_esEs15(vwx243, vwx245)
new_ltEs23(vwx201, vwx202, app(app(ty_@2, cbb), cbc)) → new_ltEs12(vwx201, vwx202, cbb, cbc)
new_esEs29(vwx1940, vwx1950, ty_@0) → new_esEs23(vwx1940, vwx1950)
new_esEs4(vwx300, vwx400, ty_Double) → new_esEs17(vwx300, vwx400)
new_esEs13(Left(vwx3000), Right(vwx4000), chc, cfh) → False
new_esEs13(Right(vwx3000), Left(vwx4000), chc, cfh) → False
new_esEs13(Right(vwx3000), Right(vwx4000), chc, app(app(ty_Either, chd), che)) → new_esEs13(vwx3000, vwx4000, chd, che)
new_ltEs19(vwx232, vwx235, app(ty_Maybe, de)) → new_ltEs13(vwx232, vwx235, de)
new_compare13(EQ, LT) → GT
new_esEs16([], [], daf) → True
new_esEs32(vwx3001, vwx4001, ty_Ordering) → new_esEs12(vwx3001, vwx4001)
new_esEs8(vwx300, vwx400, app(app(ty_@2, dga), dgb)) → new_esEs21(vwx300, vwx400, dga, dgb)
new_esEs32(vwx3001, vwx4001, app(app(app(ty_@3, eeb), eec), eed)) → new_esEs22(vwx3001, vwx4001, eeb, eec, eed)
new_compare31(True, True) → EQ
new_lt20(vwx243, vwx245, ty_Integer) → new_lt12(vwx243, vwx245)
new_ltEs10(Right(vwx1940), Left(vwx1950), bdc, bcd) → False
new_esEs27(vwx231, vwx234, ty_Ordering) → new_esEs12(vwx231, vwx234)
new_ltEs21(vwx1941, vwx1951, ty_Double) → new_ltEs18(vwx1941, vwx1951)
new_fsEs(GT) → False
new_esEs8(vwx300, vwx400, ty_Float) → new_esEs14(vwx300, vwx400)
new_esEs4(vwx300, vwx400, app(app(ty_Either, chc), cfh)) → new_esEs13(vwx300, vwx400, chc, cfh)
new_ltEs23(vwx201, vwx202, app(ty_Maybe, cbd)) → new_ltEs13(vwx201, vwx202, cbd)
new_esEs6(vwx302, vwx402, ty_Char) → new_esEs19(vwx302, vwx402)
new_esEs31(vwx3000, vwx4000, ty_Integer) → new_esEs20(vwx3000, vwx4000)
new_esEs31(vwx3000, vwx4000, app(app(app(ty_@3, ech), eda), edb)) → new_esEs22(vwx3000, vwx4000, ech, eda, edb)
new_esEs31(vwx3000, vwx4000, ty_Ordering) → new_esEs12(vwx3000, vwx4000)
new_esEs35(vwx3000, vwx4000, app(app(ty_Either, faa), fab)) → new_esEs13(vwx3000, vwx4000, faa, fab)
new_ltEs22(vwx194, vwx195, ty_Ordering) → new_ltEs7(vwx194, vwx195)
new_ltEs21(vwx1941, vwx1951, ty_Bool) → new_ltEs6(vwx1941, vwx1951)
new_esEs12(GT, GT) → True
new_ltEs10(Left(vwx1940), Left(vwx1950), ty_Ordering, bcd) → new_ltEs7(vwx1940, vwx1950)
new_esEs6(vwx302, vwx402, ty_@0) → new_esEs23(vwx302, vwx402)
new_esEs13(Left(vwx3000), Left(vwx4000), ty_Bool, cfh) → new_esEs15(vwx3000, vwx4000)
new_ltEs7(EQ, LT) → False
new_lt23(vwx1940, vwx1950, app(app(ty_Either, bbc), bbd)) → new_lt13(vwx1940, vwx1950, bbc, bbd)
new_ltEs10(Left(vwx1940), Left(vwx1950), ty_Float, bcd) → new_ltEs15(vwx1940, vwx1950)
new_lt23(vwx1940, vwx1950, ty_Integer) → new_lt12(vwx1940, vwx1950)
new_esEs25(:%(vwx3000, vwx3001), :%(vwx4000, vwx4001), dbe) → new_asAs(new_esEs38(vwx3000, vwx4000, dbe), new_esEs39(vwx3001, vwx4001, dbe))
new_compare16(Float(vwx300, vwx301), Float(vwx400, vwx401)) → new_compare6(new_sr0(vwx300, vwx400), new_sr0(vwx301, vwx401))
new_ltEs7(LT, LT) → True
new_esEs28(vwx243, vwx245, ty_Double) → new_esEs17(vwx243, vwx245)
new_esEs29(vwx1940, vwx1950, ty_Ordering) → new_esEs12(vwx1940, vwx1950)
new_esEs4(vwx300, vwx400, app(ty_[], daf)) → new_esEs16(vwx300, vwx400, daf)
new_primPlusNat1(Zero, Zero) → Zero
new_compare0([], :(vwx40, vwx41), ba) → LT
new_esEs9(vwx300, vwx400, ty_Char) → new_esEs19(vwx300, vwx400)
new_esEs37(vwx3002, vwx4002, app(app(app(ty_@3, fdb), fdc), fdd)) → new_esEs22(vwx3002, vwx4002, fdb, fdc, fdd)
new_ltEs5(vwx219, vwx220, app(app(app(ty_@3, ceb), cec), ced)) → new_ltEs8(vwx219, vwx220, ceb, cec, ced)
new_asAs(True, vwx261) → vwx261
new_ltEs13(Just(vwx1940), Just(vwx1950), app(ty_Ratio, ehf)) → new_ltEs17(vwx1940, vwx1950, ehf)
new_esEs26(vwx230, vwx233, ty_Float) → new_esEs14(vwx230, vwx233)
new_esEs35(vwx3000, vwx4000, ty_Float) → new_esEs14(vwx3000, vwx4000)
new_esEs11(vwx300, vwx400, ty_@0) → new_esEs23(vwx300, vwx400)
new_ltEs7(LT, GT) → True
new_ltEs22(vwx194, vwx195, ty_Bool) → new_ltEs6(vwx194, vwx195)
new_compare112(vwx266, vwx267, True, efd, efe) → LT
new_primMulNat0(Succ(vwx30100), Succ(vwx40100)) → new_primPlusNat0(new_primMulNat0(vwx30100, Succ(vwx40100)), vwx40100)
new_ltEs10(Right(vwx1940), Right(vwx1950), bdc, app(ty_Maybe, bec)) → new_ltEs13(vwx1940, vwx1950, bec)
new_ltEs5(vwx219, vwx220, app(app(ty_@2, ceg), ceh)) → new_ltEs12(vwx219, vwx220, ceg, ceh)
new_ltEs10(Right(vwx1940), Right(vwx1950), bdc, ty_Ordering) → new_ltEs7(vwx1940, vwx1950)
new_ltEs21(vwx1941, vwx1951, ty_Float) → new_ltEs15(vwx1941, vwx1951)
new_compare110(vwx310, vwx311, vwx312, vwx313, False, vwx315, cfc, cfd) → new_compare10(vwx310, vwx311, vwx312, vwx313, vwx315, cfc, cfd)
new_esEs4(vwx300, vwx400, app(app(app(ty_@3, dba), dbb), dbc)) → new_esEs22(vwx300, vwx400, dba, dbb, dbc)
new_esEs13(Right(vwx3000), Right(vwx4000), chc, ty_Int) → new_esEs18(vwx3000, vwx4000)
new_esEs14(Float(vwx3000, vwx3001), Float(vwx4000, vwx4001)) → new_esEs18(new_sr0(vwx3000, vwx4000), new_sr0(vwx3001, vwx4001))
new_compare30(vwx30, vwx40, ty_Double) → new_compare19(vwx30, vwx40)
new_esEs27(vwx231, vwx234, ty_Bool) → new_esEs15(vwx231, vwx234)
new_compare28(vwx243, vwx244, vwx245, vwx246, False, cbf, cdc) → new_compare110(vwx243, vwx244, vwx245, vwx246, new_lt20(vwx243, vwx245, cbf), new_asAs(new_esEs28(vwx243, vwx245, cbf), new_ltEs20(vwx244, vwx246, cdc)), cbf, cdc)
new_esEs32(vwx3001, vwx4001, ty_Int) → new_esEs18(vwx3001, vwx4001)
new_esEs8(vwx300, vwx400, ty_Ordering) → new_esEs12(vwx300, vwx400)
new_ltEs24(vwx1942, vwx1952, ty_Ordering) → new_ltEs7(vwx1942, vwx1952)
new_lt9(vwx230, vwx233, ty_Ordering) → new_lt6(vwx230, vwx233)
new_esEs31(vwx3000, vwx4000, app(app(ty_Either, ecc), ecd)) → new_esEs13(vwx3000, vwx4000, ecc, ecd)
new_ltEs10(Right(vwx1940), Right(vwx1950), bdc, ty_Char) → new_ltEs11(vwx1940, vwx1950)
new_compare13(EQ, GT) → LT
new_esEs35(vwx3000, vwx4000, ty_Double) → new_esEs17(vwx3000, vwx4000)
new_ltEs19(vwx232, vwx235, ty_Ordering) → new_ltEs7(vwx232, vwx235)
new_esEs13(Left(vwx3000), Left(vwx4000), ty_Int, cfh) → new_esEs18(vwx3000, vwx4000)
new_esEs27(vwx231, vwx234, ty_Float) → new_esEs14(vwx231, vwx234)
new_lt11(vwx230, vwx233, fa, fb, fc) → new_esEs12(new_compare12(vwx230, vwx233, fa, fb, fc), LT)
new_esEs39(vwx3001, vwx4001, ty_Int) → new_esEs18(vwx3001, vwx4001)
new_ltEs6(False, False) → True
new_ltEs10(Right(vwx1940), Right(vwx1950), bdc, ty_Float) → new_ltEs15(vwx1940, vwx1950)
new_esEs8(vwx300, vwx400, ty_@0) → new_esEs23(vwx300, vwx400)
new_ltEs22(vwx194, vwx195, ty_@0) → new_ltEs16(vwx194, vwx195)
new_esEs34(vwx1941, vwx1951, app(app(app(ty_@3, hf), hg), hh)) → new_esEs22(vwx1941, vwx1951, hf, hg, hh)
new_esEs9(vwx300, vwx400, app(app(app(ty_@3, egh), eha), ehb)) → new_esEs22(vwx300, vwx400, egh, eha, ehb)
new_ltEs21(vwx1941, vwx1951, ty_Char) → new_ltEs11(vwx1941, vwx1951)
new_esEs37(vwx3002, vwx4002, ty_Char) → new_esEs19(vwx3002, vwx4002)
new_esEs13(Right(vwx3000), Right(vwx4000), chc, ty_Char) → new_esEs19(vwx3000, vwx4000)
new_esEs32(vwx3001, vwx4001, ty_Char) → new_esEs19(vwx3001, vwx4001)
new_ltEs10(Left(vwx1940), Left(vwx1950), app(ty_Ratio, eff), bcd) → new_ltEs17(vwx1940, vwx1950, eff)
new_esEs24(Just(vwx3000), Just(vwx4000), app(ty_[], ffd)) → new_esEs16(vwx3000, vwx4000, ffd)
new_ltEs20(vwx244, vwx246, ty_Integer) → new_ltEs9(vwx244, vwx246)
new_ltEs20(vwx244, vwx246, ty_Ordering) → new_ltEs7(vwx244, vwx246)
new_primCompAux00(vwx173, GT) → GT
new_esEs38(vwx3000, vwx4000, ty_Integer) → new_esEs20(vwx3000, vwx4000)
new_ltEs19(vwx232, vwx235, ty_Int) → new_ltEs4(vwx232, vwx235)
new_ltEs23(vwx201, vwx202, ty_Float) → new_ltEs15(vwx201, vwx202)
new_compare8(Char(vwx300), Char(vwx400)) → new_primCmpNat0(vwx300, vwx400)
new_esEs7(vwx300, vwx400, app(app(ty_@2, dee), def)) → new_esEs21(vwx300, vwx400, dee, def)
new_ltEs13(Just(vwx1940), Just(vwx1950), app(app(ty_@2, bhf), bhg)) → new_ltEs12(vwx1940, vwx1950, bhf, bhg)
new_fsEs(EQ) → new_not
new_primCmpInt(Pos(Zero), Pos(Zero)) → EQ
new_esEs5(vwx301, vwx401, ty_Bool) → new_esEs15(vwx301, vwx401)
new_lt22(vwx1941, vwx1951, app(ty_Ratio, ega)) → new_lt4(vwx1941, vwx1951, ega)
new_ltEs19(vwx232, vwx235, ty_@0) → new_ltEs16(vwx232, vwx235)
new_esEs13(Right(vwx3000), Right(vwx4000), chc, app(app(ty_@2, chg), chh)) → new_esEs21(vwx3000, vwx4000, chg, chh)
new_esEs26(vwx230, vwx233, app(app(ty_Either, fd), ff)) → new_esEs13(vwx230, vwx233, fd, ff)
new_lt20(vwx243, vwx245, ty_Bool) → new_lt10(vwx243, vwx245)
new_esEs32(vwx3001, vwx4001, ty_Integer) → new_esEs20(vwx3001, vwx4001)
new_esEs33(vwx1940, vwx1950, app(app(ty_Either, bbc), bbd)) → new_esEs13(vwx1940, vwx1950, bbc, bbd)
new_primEqInt(Pos(Zero), Neg(Zero)) → True
new_primEqInt(Neg(Zero), Pos(Zero)) → True
new_ltEs12(@2(vwx1940, vwx1941), @2(vwx1950, vwx1951), bee, bgb) → new_pePe(new_lt21(vwx1940, vwx1950, bee), new_asAs(new_esEs29(vwx1940, vwx1950, bee), new_ltEs21(vwx1941, vwx1951, bgb)))
new_esEs13(Right(vwx3000), Right(vwx4000), chc, ty_Double) → new_esEs17(vwx3000, vwx4000)
new_primCmpInt(Neg(Succ(vwx3000)), Pos(vwx400)) → LT
new_lt21(vwx1940, vwx1950, ty_Float) → new_lt17(vwx1940, vwx1950)
new_esEs34(vwx1941, vwx1951, ty_Bool) → new_esEs15(vwx1941, vwx1951)
new_ltEs13(Just(vwx1940), Just(vwx1950), app(app(app(ty_@3, bha), bhb), bhc)) → new_ltEs8(vwx1940, vwx1950, bha, bhb, bhc)
new_ltEs24(vwx1942, vwx1952, app(ty_[], he)) → new_ltEs14(vwx1942, vwx1952, he)
new_esEs34(vwx1941, vwx1951, app(app(ty_Either, bab), bac)) → new_esEs13(vwx1941, vwx1951, bab, bac)
new_esEs15(False, False) → True
new_esEs7(vwx300, vwx400, ty_Double) → new_esEs17(vwx300, vwx400)

The set Q consists of the following terms:

new_esEs24(Just(x0), Just(x1), ty_@0)
new_lt22(x0, x1, ty_Double)
new_esEs8(x0, x1, app(app(ty_Either, x2), x3))
new_primEqInt(Neg(Succ(x0)), Pos(x1))
new_primEqInt(Pos(Succ(x0)), Neg(x1))
new_esEs7(x0, x1, ty_Int)
new_ltEs20(x0, x1, ty_Bool)
new_primMulInt(Neg(x0), Pos(x1))
new_primMulInt(Pos(x0), Neg(x1))
new_esEs20(Integer(x0), Integer(x1))
new_esEs31(x0, x1, ty_Double)
new_esEs36(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_compare26(x0, x1, False, x2, x3)
new_esEs8(x0, x1, ty_@0)
new_ltEs21(x0, x1, app(ty_[], x2))
new_compare7(:%(x0, x1), :%(x2, x3), ty_Integer)
new_esEs9(x0, x1, app(app(ty_Either, x2), x3))
new_ltEs19(x0, x1, ty_Integer)
new_lt20(x0, x1, ty_Ordering)
new_esEs26(x0, x1, ty_Bool)
new_esEs8(x0, x1, app(ty_[], x2))
new_ltEs21(x0, x1, app(app(ty_Either, x2), x3))
new_compare16(Float(x0, x1), Float(x2, x3))
new_ltEs24(x0, x1, ty_Bool)
new_esEs30(x0, x1, ty_Ordering)
new_esEs4(x0, x1, ty_Double)
new_esEs6(x0, x1, ty_Bool)
new_lt8(x0, x1, ty_Int)
new_primCmpInt(Neg(Succ(x0)), Pos(x1))
new_primCmpInt(Pos(Succ(x0)), Neg(x1))
new_ltEs10(Left(x0), Left(x1), ty_Integer, x2)
new_lt21(x0, x1, ty_Ordering)
new_esEs7(x0, x1, app(ty_Maybe, x2))
new_esEs6(x0, x1, ty_Char)
new_lt8(x0, x1, ty_Integer)
new_esEs24(Just(x0), Just(x1), app(app(ty_Either, x2), x3))
new_ltEs10(Left(x0), Left(x1), ty_Double, x2)
new_esEs33(x0, x1, ty_Float)
new_ltEs24(x0, x1, ty_Float)
new_esEs14(Float(x0, x1), Float(x2, x3))
new_lt23(x0, x1, ty_Bool)
new_lt21(x0, x1, app(ty_[], x2))
new_primEqInt(Pos(Succ(x0)), Pos(Succ(x1)))
new_lt19(x0, x1)
new_lt21(x0, x1, ty_Char)
new_esEs28(x0, x1, app(ty_Maybe, x2))
new_esEs28(x0, x1, app(app(ty_@2, x2), x3))
new_compare8(Char(x0), Char(x1))
new_compare110(x0, x1, x2, x3, False, x4, x5, x6)
new_ltEs13(Just(x0), Nothing, x1)
new_lt23(x0, x1, app(ty_Maybe, x2))
new_lt8(x0, x1, ty_Float)
new_esEs15(True, True)
new_esEs10(x0, x1, app(ty_Maybe, x2))
new_ltEs21(x0, x1, app(ty_Ratio, x2))
new_lt20(x0, x1, ty_Float)
new_ltEs22(x0, x1, ty_Float)
new_lt20(x0, x1, ty_@0)
new_lt20(x0, x1, app(app(ty_@2, x2), x3))
new_compare6(x0, x1)
new_esEs5(x0, x1, ty_Ordering)
new_esEs30(x0, x1, ty_Int)
new_compare19(Double(x0, x1), Double(x2, x3))
new_compare30(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs10(Right(x0), Right(x1), x2, app(ty_Ratio, x3))
new_lt9(x0, x1, app(ty_Ratio, x2))
new_esEs10(x0, x1, ty_Char)
new_ltEs7(EQ, EQ)
new_lt23(x0, x1, app(app(ty_@2, x2), x3))
new_ltEs22(x0, x1, app(app(ty_@2, x2), x3))
new_ltEs13(Just(x0), Just(x1), ty_Int)
new_esEs4(x0, x1, ty_Char)
new_esEs35(x0, x1, app(ty_Maybe, x2))
new_ltEs20(x0, x1, ty_Integer)
new_primEqInt(Pos(Zero), Neg(Succ(x0)))
new_primEqInt(Neg(Zero), Pos(Succ(x0)))
new_fsEs(GT)
new_esEs38(x0, x1, ty_Int)
new_ltEs20(x0, x1, app(ty_[], x2))
new_esEs8(x0, x1, ty_Bool)
new_esEs13(Left(x0), Left(x1), app(app(app(ty_@3, x2), x3), x4), x5)
new_esEs9(x0, x1, app(ty_Maybe, x2))
new_lt22(x0, x1, app(ty_Ratio, x2))
new_esEs37(x0, x1, app(ty_Maybe, x2))
new_esEs13(Right(x0), Right(x1), x2, ty_Bool)
new_ltEs19(x0, x1, ty_@0)
new_ltEs19(x0, x1, app(ty_Maybe, x2))
new_esEs33(x0, x1, ty_Double)
new_ltEs22(x0, x1, app(ty_[], x2))
new_esEs9(x0, x1, app(ty_Ratio, x2))
new_esEs9(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs15(False, False)
new_lt9(x0, x1, ty_@0)
new_ltEs22(x0, x1, app(app(ty_Either, x2), x3))
new_esEs30(x0, x1, app(ty_Ratio, x2))
new_esEs12(GT, EQ)
new_esEs12(EQ, GT)
new_compare30(x0, x1, app(app(ty_Either, x2), x3))
new_esEs34(x0, x1, app(ty_Maybe, x2))
new_compare7(:%(x0, x1), :%(x2, x3), ty_Int)
new_esEs18(x0, x1)
new_esEs29(x0, x1, ty_@0)
new_esEs8(x0, x1, app(ty_Ratio, x2))
new_ltEs7(EQ, LT)
new_esEs31(x0, x1, ty_Bool)
new_ltEs7(LT, EQ)
new_ltEs13(Just(x0), Just(x1), app(app(ty_Either, x2), x3))
new_esEs32(x0, x1, ty_Bool)
new_lt23(x0, x1, app(ty_[], x2))
new_lt11(x0, x1, x2, x3, x4)
new_esEs31(x0, x1, ty_Integer)
new_esEs35(x0, x1, ty_Int)
new_esEs11(x0, x1, app(app(ty_@2, x2), x3))
new_esEs9(x0, x1, ty_Double)
new_ltEs13(Just(x0), Just(x1), ty_Float)
new_esEs26(x0, x1, ty_Float)
new_esEs34(x0, x1, app(app(ty_@2, x2), x3))
new_lt9(x0, x1, ty_Char)
new_esEs24(Just(x0), Just(x1), ty_Bool)
new_esEs12(GT, GT)
new_compare14(@2(x0, x1), @2(x2, x3), x4, x5)
new_esEs13(Left(x0), Left(x1), ty_Char, x2)
new_esEs16(:(x0, x1), [], x2)
new_lt8(x0, x1, ty_Bool)
new_esEs8(x0, x1, ty_Float)
new_ltEs13(Just(x0), Just(x1), ty_Bool)
new_compare30(x0, x1, app(app(ty_@2, x2), x3))
new_esEs34(x0, x1, ty_Bool)
new_esEs26(x0, x1, ty_Char)
new_ltEs20(x0, x1, app(app(ty_Either, x2), x3))
new_ltEs19(x0, x1, ty_Char)
new_ltEs21(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs6(True, True)
new_esEs6(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_primMulInt(Pos(x0), Pos(x1))
new_esEs10(x0, x1, ty_Int)
new_ltEs20(x0, x1, app(ty_Maybe, x2))
new_esEs16(:(x0, x1), :(x2, x3), x4)
new_ltEs13(Just(x0), Just(x1), app(ty_Ratio, x2))
new_lt23(x0, x1, ty_Char)
new_ltEs23(x0, x1, ty_Float)
new_ltEs7(LT, LT)
new_esEs36(x0, x1, ty_Ordering)
new_lt23(x0, x1, ty_Int)
new_esEs29(x0, x1, ty_Bool)
new_esEs31(x0, x1, ty_Float)
new_lt21(x0, x1, app(ty_Maybe, x2))
new_ltEs5(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs10(Right(x0), Right(x1), x2, app(ty_Maybe, x3))
new_esEs37(x0, x1, ty_Char)
new_esEs29(x0, x1, ty_Int)
new_compare30(x0, x1, app(ty_Ratio, x2))
new_ltEs13(Just(x0), Just(x1), ty_Char)
new_esEs13(Right(x0), Right(x1), x2, app(ty_[], x3))
new_lt17(x0, x1)
new_esEs32(x0, x1, ty_Int)
new_esEs11(x0, x1, ty_Ordering)
new_ltEs21(x0, x1, app(app(ty_@2, x2), x3))
new_esEs34(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs24(x0, x1, app(ty_[], x2))
new_esEs35(x0, x1, ty_Char)
new_esEs36(x0, x1, ty_Bool)
new_compare111(x0, x1, x2, x3, x4, x5, True, x6, x7, x8)
new_ltEs23(x0, x1, ty_Char)
new_ltEs13(Just(x0), Just(x1), app(ty_[], x2))
new_primEqNat0(Zero, Zero)
new_esEs34(x0, x1, app(app(ty_Either, x2), x3))
new_esEs31(x0, x1, app(app(ty_Either, x2), x3))
new_esEs7(x0, x1, app(ty_Ratio, x2))
new_esEs13(Right(x0), Right(x1), x2, app(ty_Maybe, x3))
new_esEs35(x0, x1, app(app(ty_Either, x2), x3))
new_primCompAux00(x0, LT)
new_esEs34(x0, x1, ty_Float)
new_lt23(x0, x1, app(app(ty_Either, x2), x3))
new_esEs26(x0, x1, ty_Integer)
new_ltEs10(Right(x0), Left(x1), x2, x3)
new_esEs13(Left(x0), Left(x1), ty_Ordering, x2)
new_ltEs10(Left(x0), Right(x1), x2, x3)
new_esEs28(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs21(x0, x1, ty_Ordering)
new_esEs34(x0, x1, app(ty_Ratio, x2))
new_esEs4(x0, x1, app(ty_[], x2))
new_esEs13(Right(x0), Right(x1), x2, ty_Integer)
new_lt22(x0, x1, ty_Integer)
new_esEs30(x0, x1, ty_@0)
new_esEs37(x0, x1, app(app(ty_Either, x2), x3))
new_esEs11(x0, x1, ty_Double)
new_ltEs10(Right(x0), Right(x1), x2, ty_Int)
new_ltEs20(x0, x1, ty_Double)
new_compare27(x0, x1, False, x2, x3)
new_ltEs20(x0, x1, ty_Ordering)
new_ltEs23(x0, x1, ty_Int)
new_primEqInt(Neg(Succ(x0)), Neg(Zero))
new_compare25(x0, x1, x2, x3, x4, x5, True, x6, x7, x8)
new_esEs5(x0, x1, ty_Integer)
new_lt9(x0, x1, app(app(ty_@2, x2), x3))
new_esEs37(x0, x1, ty_Int)
new_lt10(x0, x1)
new_primMulNat0(Zero, Zero)
new_lt22(x0, x1, ty_@0)
new_esEs5(x0, x1, ty_Bool)
new_esEs5(x0, x1, app(ty_Ratio, x2))
new_esEs7(x0, x1, app(app(ty_@2, x2), x3))
new_ltEs23(x0, x1, ty_Ordering)
new_esEs11(x0, x1, ty_Integer)
new_esEs28(x0, x1, ty_Float)
new_esEs25(:%(x0, x1), :%(x2, x3), x4)
new_compare0(:(x0, x1), :(x2, x3), x4)
new_lt21(x0, x1, ty_Float)
new_ltEs24(x0, x1, app(ty_Maybe, x2))
new_esEs29(x0, x1, app(ty_[], x2))
new_ltEs20(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs9(x0, x1, ty_Float)
new_esEs13(Right(x0), Right(x1), x2, app(app(ty_@2, x3), x4))
new_esEs27(x0, x1, app(ty_Maybe, x2))
new_primEqNat0(Succ(x0), Succ(x1))
new_ltEs20(x0, x1, ty_Int)
new_compare13(LT, LT)
new_esEs37(x0, x1, ty_Double)
new_lt22(x0, x1, ty_Char)
new_compare13(GT, GT)
new_esEs8(x0, x1, app(app(ty_@2, x2), x3))
new_esEs8(x0, x1, app(ty_Maybe, x2))
new_compare11(x0, x1, True, x2)
new_esEs30(x0, x1, ty_Char)
new_lt21(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs22(x0, x1, app(ty_Maybe, x2))
new_esEs33(x0, x1, ty_Bool)
new_lt21(x0, x1, app(app(ty_@2, x2), x3))
new_esEs30(x0, x1, app(ty_[], x2))
new_ltEs5(x0, x1, ty_Int)
new_esEs34(x0, x1, ty_@0)
new_compare113(x0, x1, True, x2, x3)
new_esEs35(x0, x1, ty_Bool)
new_lt13(x0, x1, x2, x3)
new_esEs10(x0, x1, app(ty_[], x2))
new_lt22(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs10(Right(x0), Right(x1), x2, ty_Char)
new_esEs7(x0, x1, ty_Float)
new_esEs32(x0, x1, app(ty_[], x2))
new_lt20(x0, x1, app(ty_Maybe, x2))
new_esEs27(x0, x1, ty_Ordering)
new_ltEs18(x0, x1)
new_esEs32(x0, x1, ty_Char)
new_esEs39(x0, x1, ty_Int)
new_ltEs10(Right(x0), Right(x1), x2, app(app(ty_@2, x3), x4))
new_esEs19(Char(x0), Char(x1))
new_esEs37(x0, x1, app(ty_[], x2))
new_lt21(x0, x1, ty_Integer)
new_compare24(x0, x1, False, x2)
new_primCmpInt(Pos(Zero), Pos(Succ(x0)))
new_esEs5(x0, x1, ty_@0)
new_ltEs24(x0, x1, ty_Int)
new_lt21(x0, x1, app(ty_Ratio, x2))
new_lt7(x0, x1, x2, x3)
new_esEs8(x0, x1, ty_Char)
new_esEs28(x0, x1, ty_Bool)
new_esEs34(x0, x1, ty_Int)
new_esEs9(x0, x1, ty_Integer)
new_ltEs20(x0, x1, ty_Char)
new_compare26(x0, x1, True, x2, x3)
new_compare112(x0, x1, True, x2, x3)
new_esEs11(x0, x1, ty_Bool)
new_fsEs(EQ)
new_lt9(x0, x1, ty_Ordering)
new_ltEs22(x0, x1, ty_Ordering)
new_esEs37(x0, x1, ty_Bool)
new_esEs33(x0, x1, app(ty_Maybe, x2))
new_esEs28(x0, x1, app(app(ty_Either, x2), x3))
new_esEs13(Left(x0), Right(x1), x2, x3)
new_esEs13(Right(x0), Left(x1), x2, x3)
new_esEs36(x0, x1, app(app(ty_Either, x2), x3))
new_ltEs10(Right(x0), Right(x1), x2, app(ty_[], x3))
new_ltEs20(x0, x1, app(ty_Ratio, x2))
new_primMulInt(Neg(x0), Neg(x1))
new_esEs11(x0, x1, ty_Char)
new_esEs31(x0, x1, app(ty_Ratio, x2))
new_compare29(Just(x0), Nothing, x1)
new_ltEs23(x0, x1, app(app(ty_@2, x2), x3))
new_esEs6(x0, x1, ty_Ordering)
new_ltEs22(x0, x1, ty_Int)
new_primCmpInt(Pos(Zero), Neg(Succ(x0)))
new_primCmpInt(Neg(Zero), Pos(Succ(x0)))
new_esEs11(x0, x1, ty_@0)
new_esEs24(Just(x0), Nothing, x1)
new_lt23(x0, x1, ty_@0)
new_ltEs19(x0, x1, ty_Int)
new_esEs4(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs10(Left(x0), Left(x1), ty_Char, x2)
new_compare0([], [], x0)
new_esEs11(x0, x1, app(app(ty_Either, x2), x3))
new_compare30(x0, x1, ty_Int)
new_esEs31(x0, x1, ty_Char)
new_ltEs21(x0, x1, ty_Float)
new_ltEs13(Just(x0), Just(x1), app(app(ty_@2, x2), x3))
new_compare29(Just(x0), Just(x1), x2)
new_esEs36(x0, x1, ty_Float)
new_esEs27(x0, x1, app(app(ty_@2, x2), x3))
new_lt21(x0, x1, app(app(ty_Either, x2), x3))
new_ltEs5(x0, x1, app(ty_[], x2))
new_ltEs19(x0, x1, app(ty_Ratio, x2))
new_esEs34(x0, x1, ty_Ordering)
new_esEs8(x0, x1, ty_Ordering)
new_esEs27(x0, x1, app(app(ty_Either, x2), x3))
new_esEs26(x0, x1, ty_@0)
new_compare13(EQ, GT)
new_compare13(GT, EQ)
new_primEqInt(Neg(Zero), Neg(Succ(x0)))
new_ltEs24(x0, x1, ty_@0)
new_esEs12(LT, EQ)
new_esEs12(EQ, LT)
new_esEs32(x0, x1, ty_Double)
new_sr0(x0, x1)
new_lt9(x0, x1, app(ty_[], x2))
new_esEs27(x0, x1, ty_Double)
new_ltEs21(x0, x1, ty_Int)
new_esEs32(x0, x1, app(app(ty_Either, x2), x3))
new_ltEs10(Left(x0), Left(x1), app(app(app(ty_@3, x2), x3), x4), x5)
new_primPlusNat1(Zero, Zero)
new_primCmpInt(Neg(Succ(x0)), Neg(x1))
new_esEs32(x0, x1, ty_Float)
new_lt22(x0, x1, ty_Ordering)
new_lt23(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs12(EQ, EQ)
new_ltEs10(Left(x0), Left(x1), ty_Float, x2)
new_esEs8(x0, x1, ty_Integer)
new_esEs24(Nothing, Just(x0), x1)
new_esEs10(x0, x1, app(app(ty_Either, x2), x3))
new_ltEs24(x0, x1, ty_Char)
new_esEs32(x0, x1, app(ty_Maybe, x2))
new_compare13(EQ, EQ)
new_esEs32(x0, x1, ty_Integer)
new_ltEs5(x0, x1, ty_Bool)
new_esEs24(Just(x0), Just(x1), app(ty_Maybe, x2))
new_esEs35(x0, x1, app(ty_Ratio, x2))
new_primEqInt(Pos(Succ(x0)), Pos(Zero))
new_esEs24(Just(x0), Just(x1), ty_Integer)
new_primCompAux00(x0, EQ)
new_esEs6(x0, x1, app(app(ty_@2, x2), x3))
new_ltEs10(Left(x0), Left(x1), app(app(ty_@2, x2), x3), x4)
new_primCmpInt(Neg(Zero), Neg(Zero))
new_lt18(x0, x1)
new_esEs4(x0, x1, ty_Float)
new_compare29(Nothing, Just(x0), x1)
new_lt23(x0, x1, app(ty_Ratio, x2))
new_primMulNat0(Succ(x0), Succ(x1))
new_pePe(False, x0)
new_esEs4(x0, x1, ty_@0)
new_esEs33(x0, x1, ty_Int)
new_esEs33(x0, x1, ty_Integer)
new_esEs33(x0, x1, app(app(ty_Either, x2), x3))
new_ltEs10(Left(x0), Left(x1), ty_Int, x2)
new_ltEs6(True, False)
new_ltEs6(False, True)
new_primMulNat0(Zero, Succ(x0))
new_esEs23(@0, @0)
new_esEs26(x0, x1, app(app(ty_@2, x2), x3))
new_lt22(x0, x1, ty_Int)
new_lt22(x0, x1, ty_Float)
new_esEs30(x0, x1, app(ty_Maybe, x2))
new_primPlusNat1(Succ(x0), Succ(x1))
new_primCompAux00(x0, GT)
new_lt9(x0, x1, ty_Float)
new_esEs37(x0, x1, app(app(ty_@2, x2), x3))
new_lt8(x0, x1, ty_Ordering)
new_ltEs4(x0, x1)
new_esEs10(x0, x1, ty_Float)
new_esEs31(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs13(Right(x0), Right(x1), x2, app(app(app(ty_@3, x3), x4), x5))
new_esEs5(x0, x1, app(app(ty_@2, x2), x3))
new_esEs12(LT, GT)
new_esEs12(GT, LT)
new_esEs16([], [], x0)
new_esEs33(x0, x1, app(app(ty_@2, x2), x3))
new_esEs37(x0, x1, ty_Ordering)
new_esEs11(x0, x1, app(ty_Ratio, x2))
new_ltEs23(x0, x1, app(ty_Maybe, x2))
new_esEs5(x0, x1, ty_Char)
new_esEs29(x0, x1, ty_Integer)
new_lt22(x0, x1, app(ty_Maybe, x2))
new_ltEs10(Left(x0), Left(x1), app(app(ty_Either, x2), x3), x4)
new_esEs34(x0, x1, ty_Double)
new_esEs30(x0, x1, ty_Integer)
new_compare24(x0, x1, True, x2)
new_esEs26(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs30(x0, x1, ty_Bool)
new_esEs13(Left(x0), Left(x1), ty_@0, x2)
new_ltEs22(x0, x1, ty_Double)
new_compare10(x0, x1, x2, x3, True, x4, x5)
new_ltEs5(x0, x1, app(app(ty_@2, x2), x3))
new_ltEs19(x0, x1, app(ty_[], x2))
new_esEs26(x0, x1, app(ty_[], x2))
new_lt20(x0, x1, ty_Char)
new_esEs31(x0, x1, app(ty_[], x2))
new_primEqInt(Neg(Succ(x0)), Neg(Succ(x1)))
new_compare18(Integer(x0), Integer(x1))
new_esEs27(x0, x1, ty_Char)
new_compare11(x0, x1, False, x2)
new_lt12(x0, x1)
new_esEs10(x0, x1, app(ty_Ratio, x2))
new_primEqInt(Pos(Zero), Neg(Zero))
new_primEqInt(Neg(Zero), Pos(Zero))
new_esEs29(x0, x1, app(app(ty_@2, x2), x3))
new_compare30(x0, x1, ty_Float)
new_primPlusNat0(Zero, x0)
new_ltEs13(Just(x0), Just(x1), ty_Ordering)
new_ltEs24(x0, x1, ty_Integer)
new_esEs36(x0, x1, ty_Int)
new_lt22(x0, x1, app(app(ty_@2, x2), x3))
new_esEs10(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs26(x0, x1, ty_Double)
new_esEs6(x0, x1, ty_Integer)
new_lt23(x0, x1, ty_Ordering)
new_esEs24(Just(x0), Just(x1), app(app(ty_@2, x2), x3))
new_ltEs23(x0, x1, ty_Double)
new_esEs7(x0, x1, ty_Char)
new_ltEs21(x0, x1, ty_Bool)
new_lt6(x0, x1)
new_esEs13(Right(x0), Right(x1), x2, ty_Double)
new_compare17(Right(x0), Right(x1), x2, x3)
new_esEs7(x0, x1, ty_Bool)
new_esEs37(x0, x1, ty_Float)
new_esEs35(x0, x1, ty_Double)
new_esEs26(x0, x1, app(ty_Ratio, x2))
new_primMulNat0(Succ(x0), Zero)
new_esEs10(x0, x1, ty_Double)
new_compare27(x0, x1, True, x2, x3)
new_esEs13(Right(x0), Right(x1), x2, ty_Int)
new_esEs5(x0, x1, ty_Int)
new_compare112(x0, x1, False, x2, x3)
new_esEs9(x0, x1, ty_Int)
new_compare12(@3(x0, x1, x2), @3(x3, x4, x5), x6, x7, x8)
new_primCmpInt(Pos(Zero), Pos(Zero))
new_esEs15(False, True)
new_esEs15(True, False)
new_ltEs6(False, False)
new_esEs26(x0, x1, app(ty_Maybe, x2))
new_esEs6(x0, x1, ty_Int)
new_esEs33(x0, x1, ty_Char)
new_compare31(False, False)
new_compare13(EQ, LT)
new_ltEs23(x0, x1, app(ty_[], x2))
new_esEs10(x0, x1, app(app(ty_@2, x2), x3))
new_compare13(LT, EQ)
new_ltEs12(@2(x0, x1), @2(x2, x3), x4, x5)
new_esEs36(x0, x1, ty_Integer)
new_primEqInt(Neg(Zero), Neg(Zero))
new_ltEs19(x0, x1, app(app(ty_Either, x2), x3))
new_esEs29(x0, x1, app(app(ty_Either, x2), x3))
new_ltEs5(x0, x1, app(ty_Ratio, x2))
new_lt20(x0, x1, app(ty_[], x2))
new_esEs30(x0, x1, app(app(ty_Either, x2), x3))
new_esEs10(x0, x1, ty_Ordering)
new_ltEs24(x0, x1, app(app(ty_@2, x2), x3))
new_esEs13(Left(x0), Left(x1), app(app(ty_Either, x2), x3), x4)
new_ltEs5(x0, x1, ty_Double)
new_primCompAux0(x0, x1, x2, x3)
new_lt9(x0, x1, app(app(ty_Either, x2), x3))
new_esEs29(x0, x1, app(ty_Ratio, x2))
new_lt8(x0, x1, ty_Char)
new_esEs28(x0, x1, ty_Ordering)
new_compare10(x0, x1, x2, x3, False, x4, x5)
new_esEs4(x0, x1, ty_Integer)
new_ltEs10(Right(x0), Right(x1), x2, ty_Bool)
new_esEs13(Right(x0), Right(x1), x2, ty_@0)
new_esEs5(x0, x1, ty_Double)
new_esEs11(x0, x1, ty_Int)
new_esEs13(Right(x0), Right(x1), x2, ty_Float)
new_esEs5(x0, x1, ty_Float)
new_ltEs5(x0, x1, ty_Ordering)
new_ltEs24(x0, x1, app(ty_Ratio, x2))
new_lt8(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs32(x0, x1, ty_@0)
new_ltEs10(Left(x0), Left(x1), ty_Ordering, x2)
new_compare13(LT, GT)
new_compare13(GT, LT)
new_esEs35(x0, x1, ty_Ordering)
new_compare30(x0, x1, app(ty_Maybe, x2))
new_primCmpNat0(Zero, Succ(x0))
new_esEs27(x0, x1, app(ty_Ratio, x2))
new_ltEs15(x0, x1)
new_esEs8(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs28(x0, x1, ty_Int)
new_esEs26(x0, x1, ty_Ordering)
new_esEs5(x0, x1, app(app(ty_Either, x2), x3))
new_esEs34(x0, x1, app(ty_[], x2))
new_esEs36(x0, x1, ty_Double)
new_esEs27(x0, x1, ty_Int)
new_esEs32(x0, x1, ty_Ordering)
new_compare30(x0, x1, ty_Char)
new_ltEs20(x0, x1, ty_Float)
new_compare31(True, True)
new_ltEs10(Left(x0), Left(x1), app(ty_[], x2), x3)
new_esEs4(x0, x1, app(app(ty_Either, x2), x3))
new_esEs27(x0, x1, ty_Bool)
new_ltEs19(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs10(Right(x0), Right(x1), x2, ty_Integer)
new_compare17(Right(x0), Left(x1), x2, x3)
new_compare17(Left(x0), Right(x1), x2, x3)
new_lt8(x0, x1, app(ty_Maybe, x2))
new_lt9(x0, x1, ty_Bool)
new_esEs35(x0, x1, app(app(ty_@2, x2), x3))
new_esEs13(Right(x0), Right(x1), x2, app(app(ty_Either, x3), x4))
new_ltEs5(x0, x1, ty_@0)
new_esEs8(x0, x1, ty_Int)
new_primEqNat0(Succ(x0), Zero)
new_lt21(x0, x1, ty_Double)
new_esEs34(x0, x1, ty_Integer)
new_ltEs16(x0, x1)
new_esEs33(x0, x1, ty_@0)
new_ltEs19(x0, x1, app(app(ty_@2, x2), x3))
new_esEs6(x0, x1, app(ty_Maybe, x2))
new_esEs29(x0, x1, ty_Float)
new_ltEs13(Just(x0), Just(x1), ty_Double)
new_esEs13(Left(x0), Left(x1), app(ty_Ratio, x2), x3)
new_esEs24(Just(x0), Just(x1), ty_Ordering)
new_ltEs9(x0, x1)
new_esEs28(x0, x1, ty_Char)
new_ltEs20(x0, x1, app(app(ty_@2, x2), x3))
new_compare111(x0, x1, x2, x3, x4, x5, False, x6, x7, x8)
new_ltEs22(x0, x1, ty_Integer)
new_ltEs22(x0, x1, ty_Char)
new_esEs30(x0, x1, app(app(ty_@2, x2), x3))
new_ltEs22(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs29(x0, x1, ty_Double)
new_esEs35(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs13(Just(x0), Just(x1), ty_Integer)
new_esEs36(x0, x1, app(ty_[], x2))
new_esEs9(x0, x1, app(ty_[], x2))
new_primCmpNat0(Zero, Zero)
new_lt15(x0, x1, x2)
new_not
new_esEs9(x0, x1, ty_Ordering)
new_lt20(x0, x1, ty_Integer)
new_esEs36(x0, x1, ty_@0)
new_ltEs10(Left(x0), Left(x1), app(ty_Ratio, x2), x3)
new_esEs27(x0, x1, ty_@0)
new_ltEs22(x0, x1, ty_@0)
new_lt9(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_compare28(x0, x1, x2, x3, False, x4, x5)
new_ltEs23(x0, x1, ty_Bool)
new_esEs31(x0, x1, ty_Ordering)
new_esEs29(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs13(Left(x0), Left(x1), app(ty_[], x2), x3)
new_ltEs21(x0, x1, ty_@0)
new_ltEs5(x0, x1, ty_Char)
new_esEs7(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_lt9(x0, x1, ty_Int)
new_compare28(x0, x1, x2, x3, True, x4, x5)
new_lt23(x0, x1, ty_Float)
new_esEs35(x0, x1, ty_Integer)
new_lt20(x0, x1, ty_Int)
new_esEs6(x0, x1, app(ty_Ratio, x2))
new_lt9(x0, x1, ty_Integer)
new_esEs35(x0, x1, ty_Float)
new_esEs33(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs10(Right(x0), Right(x1), x2, app(app(app(ty_@3, x3), x4), x5))
new_ltEs10(Left(x0), Left(x1), ty_Bool, x2)
new_esEs13(Right(x0), Right(x1), x2, ty_Char)
new_asAs(False, x0)
new_esEs7(x0, x1, app(app(ty_Either, x2), x3))
new_lt21(x0, x1, ty_Bool)
new_esEs28(x0, x1, ty_@0)
new_esEs4(x0, x1, ty_Int)
new_ltEs24(x0, x1, app(app(ty_Either, x2), x3))
new_esEs33(x0, x1, app(ty_[], x2))
new_esEs13(Left(x0), Left(x1), ty_Double, x2)
new_ltEs5(x0, x1, app(app(ty_Either, x2), x3))
new_esEs6(x0, x1, app(app(ty_Either, x2), x3))
new_lt22(x0, x1, app(app(ty_Either, x2), x3))
new_ltEs5(x0, x1, ty_Integer)
new_lt8(x0, x1, ty_@0)
new_esEs9(x0, x1, ty_Char)
new_lt16(x0, x1, x2)
new_esEs4(x0, x1, ty_Bool)
new_esEs9(x0, x1, ty_@0)
new_esEs30(x0, x1, ty_Double)
new_compare15(x0, x1, x2, x3, x4, x5, True, x6, x7, x8, x9)
new_ltEs19(x0, x1, ty_Bool)
new_esEs39(x0, x1, ty_Integer)
new_esEs29(x0, x1, app(ty_Maybe, x2))
new_esEs29(x0, x1, ty_Ordering)
new_compare30(x0, x1, ty_Bool)
new_esEs35(x0, x1, ty_@0)
new_lt20(x0, x1, ty_Double)
new_esEs9(x0, x1, ty_Bool)
new_esEs36(x0, x1, app(app(ty_@2, x2), x3))
new_esEs24(Just(x0), Just(x1), app(ty_[], x2))
new_esEs30(x0, x1, ty_Float)
new_ltEs13(Just(x0), Just(x1), app(ty_Maybe, x2))
new_esEs33(x0, x1, ty_Ordering)
new_esEs28(x0, x1, ty_Integer)
new_esEs4(x0, x1, app(app(ty_@2, x2), x3))
new_compare25(x0, x1, x2, x3, x4, x5, False, x6, x7, x8)
new_esEs36(x0, x1, ty_Char)
new_compare9(@0, @0)
new_lt8(x0, x1, ty_Double)
new_ltEs7(LT, GT)
new_ltEs7(GT, LT)
new_esEs7(x0, x1, ty_Ordering)
new_lt20(x0, x1, ty_Bool)
new_ltEs22(x0, x1, ty_Bool)
new_esEs31(x0, x1, app(ty_Maybe, x2))
new_primPlusNat0(Succ(x0), x1)
new_esEs6(x0, x1, ty_Float)
new_lt22(x0, x1, ty_Bool)
new_esEs30(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs23(x0, x1, app(ty_Ratio, x2))
new_primCmpNat0(Succ(x0), Succ(x1))
new_esEs13(Left(x0), Left(x1), ty_Integer, x2)
new_ltEs13(Nothing, Just(x0), x1)
new_compare113(x0, x1, False, x2, x3)
new_compare31(True, False)
new_compare31(False, True)
new_lt20(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs37(x0, x1, ty_@0)
new_esEs13(Left(x0), Left(x1), ty_Float, x2)
new_ltEs13(Just(x0), Just(x1), ty_@0)
new_lt9(x0, x1, ty_Double)
new_ltEs13(Nothing, Nothing, x0)
new_fsEs(LT)
new_esEs7(x0, x1, app(ty_[], x2))
new_esEs6(x0, x1, ty_@0)
new_esEs32(x0, x1, app(ty_Ratio, x2))
new_esEs24(Just(x0), Just(x1), ty_Int)
new_primCmpInt(Neg(Zero), Pos(Zero))
new_primCmpInt(Pos(Zero), Neg(Zero))
new_lt23(x0, x1, ty_Integer)
new_primEqInt(Pos(Zero), Pos(Succ(x0)))
new_esEs9(x0, x1, app(app(ty_@2, x2), x3))
new_esEs24(Just(x0), Just(x1), app(app(app(ty_@3, x2), x3), x4))
new_esEs22(@3(x0, x1, x2), @3(x3, x4, x5), x6, x7, x8)
new_esEs31(x0, x1, ty_Int)
new_lt4(x0, x1, x2)
new_esEs29(x0, x1, ty_Char)
new_esEs32(x0, x1, app(app(ty_@2, x2), x3))
new_esEs13(Left(x0), Left(x1), ty_Bool, x2)
new_esEs27(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs7(x0, x1, ty_Double)
new_lt8(x0, x1, app(ty_Ratio, x2))
new_ltEs24(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_compare30(x0, x1, ty_Double)
new_ltEs11(x0, x1)
new_lt8(x0, x1, app(app(ty_@2, x2), x3))
new_sr(Integer(x0), Integer(x1))
new_esEs35(x0, x1, app(ty_[], x2))
new_esEs10(x0, x1, ty_Integer)
new_ltEs10(Right(x0), Right(x1), x2, ty_Double)
new_esEs34(x0, x1, ty_Char)
new_lt14(x0, x1)
new_esEs37(x0, x1, app(ty_Ratio, x2))
new_primCmpInt(Neg(Zero), Neg(Succ(x0)))
new_esEs13(Left(x0), Left(x1), app(ty_Maybe, x2), x3)
new_esEs5(x0, x1, app(ty_[], x2))
new_primEqNat0(Zero, Succ(x0))
new_ltEs10(Left(x0), Left(x1), ty_@0, x2)
new_esEs11(x0, x1, ty_Float)
new_ltEs21(x0, x1, ty_Char)
new_esEs17(Double(x0, x1), Double(x2, x3))
new_esEs4(x0, x1, ty_Ordering)
new_compare0(:(x0, x1), [], x2)
new_esEs26(x0, x1, app(app(ty_Either, x2), x3))
new_ltEs20(x0, x1, ty_@0)
new_esEs27(x0, x1, ty_Float)
new_lt5(x0, x1)
new_esEs24(Just(x0), Just(x1), ty_Float)
new_esEs38(x0, x1, ty_Integer)
new_ltEs24(x0, x1, ty_Ordering)
new_esEs32(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs19(x0, x1, ty_Double)
new_compare30(x0, x1, ty_Ordering)
new_ltEs10(Right(x0), Right(x1), x2, ty_@0)
new_esEs24(Nothing, Nothing, x0)
new_esEs21(@2(x0, x1), @2(x2, x3), x4, x5)
new_esEs13(Right(x0), Right(x1), x2, app(ty_Ratio, x3))
new_esEs5(x0, x1, app(ty_Maybe, x2))
new_ltEs13(Just(x0), Just(x1), app(app(app(ty_@3, x2), x3), x4))
new_ltEs21(x0, x1, ty_Integer)
new_lt21(x0, x1, ty_@0)
new_ltEs10(Right(x0), Right(x1), x2, app(app(ty_Either, x3), x4))
new_esEs33(x0, x1, app(ty_Ratio, x2))
new_esEs27(x0, x1, ty_Integer)
new_asAs(True, x0)
new_esEs27(x0, x1, app(ty_[], x2))
new_compare17(Left(x0), Left(x1), x2, x3)
new_esEs7(x0, x1, ty_@0)
new_ltEs5(x0, x1, app(ty_Maybe, x2))
new_pePe(True, x0)
new_ltEs21(x0, x1, ty_Double)
new_ltEs5(x0, x1, ty_Float)
new_compare30(x0, x1, ty_@0)
new_esEs28(x0, x1, app(ty_[], x2))
new_ltEs8(@3(x0, x1, x2), @3(x3, x4, x5), x6, x7, x8)
new_ltEs10(Right(x0), Right(x1), x2, ty_Ordering)
new_compare0([], :(x0, x1), x2)
new_lt21(x0, x1, ty_Int)
new_esEs26(x0, x1, ty_Int)
new_esEs31(x0, x1, app(app(ty_@2, x2), x3))
new_esEs37(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_compare30(x0, x1, ty_Integer)
new_esEs28(x0, x1, ty_Double)
new_esEs4(x0, x1, app(ty_Maybe, x2))
new_lt22(x0, x1, app(ty_[], x2))
new_ltEs21(x0, x1, app(ty_Maybe, x2))
new_esEs37(x0, x1, ty_Integer)
new_esEs28(x0, x1, app(ty_Ratio, x2))
new_lt20(x0, x1, app(ty_Ratio, x2))
new_esEs10(x0, x1, ty_@0)
new_ltEs19(x0, x1, ty_Ordering)
new_compare15(x0, x1, x2, x3, x4, x5, False, x6, x7, x8, x9)
new_esEs11(x0, x1, app(ty_[], x2))
new_lt20(x0, x1, app(app(ty_Either, x2), x3))
new_primEqInt(Pos(Zero), Pos(Zero))
new_lt23(x0, x1, ty_Double)
new_ltEs23(x0, x1, ty_@0)
new_esEs24(Just(x0), Just(x1), ty_Double)
new_esEs5(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs13(Right(x0), Right(x1), x2, ty_Ordering)
new_lt8(x0, x1, app(ty_[], x2))
new_ltEs23(x0, x1, app(app(ty_Either, x2), x3))
new_compare110(x0, x1, x2, x3, True, x4, x5, x6)
new_esEs7(x0, x1, ty_Integer)
new_lt9(x0, x1, app(ty_Maybe, x2))
new_esEs16([], :(x0, x1), x2)
new_compare30(x0, x1, app(ty_[], x2))
new_ltEs24(x0, x1, ty_Double)
new_esEs13(Left(x0), Left(x1), ty_Int, x2)
new_esEs13(Left(x0), Left(x1), app(app(ty_@2, x2), x3), x4)
new_ltEs10(Left(x0), Left(x1), app(ty_Maybe, x2), x3)
new_esEs11(x0, x1, app(ty_Maybe, x2))
new_ltEs10(Right(x0), Right(x1), x2, ty_Float)
new_esEs12(LT, LT)
new_ltEs19(x0, x1, ty_Float)
new_primCmpNat0(Succ(x0), Zero)
new_ltEs7(EQ, GT)
new_primPlusNat1(Succ(x0), Zero)
new_esEs11(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs7(GT, EQ)
new_esEs24(Just(x0), Just(x1), app(ty_Ratio, x2))
new_compare29(Nothing, Nothing, x0)
new_esEs4(x0, x1, app(ty_Ratio, x2))
new_primPlusNat1(Zero, Succ(x0))
new_ltEs7(GT, GT)
new_esEs6(x0, x1, ty_Double)
new_ltEs22(x0, x1, app(ty_Ratio, x2))
new_esEs8(x0, x1, ty_Double)
new_esEs6(x0, x1, app(ty_[], x2))
new_lt8(x0, x1, app(app(ty_Either, x2), x3))
new_esEs10(x0, x1, ty_Bool)
new_ltEs14(x0, x1, x2)
new_ltEs23(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_primCmpInt(Pos(Succ(x0)), Pos(x1))
new_esEs31(x0, x1, ty_@0)
new_esEs36(x0, x1, app(ty_Maybe, x2))
new_ltEs23(x0, x1, ty_Integer)
new_esEs36(x0, x1, app(ty_Ratio, x2))
new_ltEs17(x0, x1, x2)
new_esEs24(Just(x0), Just(x1), ty_Char)

We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs: